Щракнете върху Синтаксис на λ-смятането (с анотации), за да отворите ресурса.