/calculi-js

Lambda calculus interpreter in your browser

Primary LanguageJavaScriptMIT LicenseMIT

calculi-js

Lambda Calculus interpreter in your browser.

TODO

  • Parse
  • Generate De Bruijn index
  • Generate binary notation