term generator for simply typed lambda calculus, combinatory logic.
Primary LanguageHaskellMIT LicenseMIT
This repository is not active