Course was designed and taught by Dmitry Shtukenberg at ITMO University in 2019 (year2017, 5th semester).
- Parenthesis placement in lambda expression
- Normalization of lambda expression
- 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