Type-checker of LM for my Bachelor's thesis.
Primary LanguageHaskell
No issues in this repository yet.