term generator for simply typed lambda calculus, combinatory logic.
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.