- ๐ญ Iโm Zhan Qi, a Phd student at Zhejiang University from 2023.
- ๐ฑ Iโm currently learning system and programming language theory.
qi-zhan / interpreter-tlc Goto Github PK
View Code? Open in Web Editor NEWAn interpreter for the typed lambda calculus including algebraic data types, recursive types, polymorphic types, and existential types.