A statically typed and lazy evaluated implementation of Lambda Calculus.
Primary LanguageStandard MLGNU General Public License v3.0GPL-3.0