/LambdaCalcTypeChecker

Trivial constraint solver and type checker for typed lambda calculus. Language Theory homework

Primary LanguageScala

No issues in this repository yet.