/lambda_calculus

Lambda calculus implementation in standard ML

Primary LanguageStandard ML

Watchers