A simple project which creates type derivations for lambda calculus terms, written as part of a coursework.
samuelstacey/Lambda-Calculus-Type-Deriver
A simple project which creates type derivations for lambda calculus terms, written as part of a coursework.
HaskellGPL-3.0