/Lambda-Calculus-Type-Deriver

A simple project which creates type derivations for lambda calculus terms, written as part of a coursework.

Primary LanguageHaskellGNU General Public License v3.0GPL-3.0

Lambda Calculus Type Inference

A simple project which creates type derivations for lambda calculus terms, written as part of a coursework.