Church encodings, but it's worse than you think
Primary LanguageStandard ML
No issues in this repository yet.