Type Theory course homework (2019), ITMO University.
Implemented:
- Lambda expression parsing and display
- Lambda expression normalization, with normal order beta reduction (memoized)
- In_L, In_R, Case for algebraic types (sum types) in their formal definition
Technologies used:
- Haskell (Alex, Happy)
- C++, C, Pascal