lambda
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 August 9th, 2020