Course was designed and taught by Dmitry Shtukenberg at ITMO University in 2019 (year2017, 5th semester).

1. Parenthesis placement in lambda expression
2. Normalization of lambda expression
3. Type inference simply typed lambda calculus

All tasks (ru) are stored in one file. In addition to main directory with solutions in Java, here is also a solution of the first task in Haskell.

• List of all theoretical is available on course page (ru).
• There are also statements of additional tasks, the solutions of which are mathematical proofs, written in Idris.
  • This repository contains my solutions of tasks
  • Course page have examples of programs on Idris

• Course page on teacher's GitHub profile (ru)
• Course notes (ru)
• Idris documentation