lambda is a minilanguage created in 2013. untyped λ-calculus, several evaluation strategies

7Years Old ?Users ?Jobs
  • the lambda website
  • lambda first appeared in 2013
  • Have a question about lambda not answered here? Email me and let me know how I can help.

Last updated June 22nd, 2020

Edit lambda on GitHub