Курс подготовил и прочитал Дмитрий Штукенберг в Университете ИТМО в 2019 году (year2017, 5 семестр).
- Расстановка скобок в лямбда-выражении
- Нормализация лямбда-выражения
- Вывод типа в просто-типизированном лямбда-исчислении
Все условия хранятся в одном файле. Помимо основной папки с решениями на языке Java, есть отдельное решение первого задания на языке Haskell.
- Список теоретических домашних заданий доступен на странице курса.
- Там же доступны условия дополнительных заданий, решения к которым представляют собой математические доказательства, написанные на языке Idris.
- В моём репозитории есть мои решения заданий
- На странице курса на есть примеры кода на Idris