un&simple-type lambda calculus written in typescript
Primary LanguageTypeScriptGNU General Public License v3.0GPL-3.0