/type-theory

Practice homeworks for type theory course. hw1 - parsing lambda-expression, hw2 - beta-reducing lambda expression, hw3 - type inference of lambda-expression

Primary LanguageHaskell

This repository is not active