4 lines (3 loc) · 212 Bytes

Type theory course

Homeworks for type theory course. Problem statements(Russian only).

Tasks implemented on g++ 7.3.0 and java 11, correct work with other compilers not guaranteed.