An implementation of lambda calculus.
Primary LanguageTypeScriptGNU General Public License v3.0GPL-3.0