IlyaBizyaev / type-theory Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Type Theory course homework (2019), ITMO University

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
lab		lab
practice/algebraic		practice/algebraic
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Type Theory

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

About

Type Theory course homework (2019), ITMO University

haskell lambda-calculus type-theory

Report repository

Languages