A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
Why do you think that https://github.com/baioc/FormallySharp is a good alternative to Lambda-Calculus
A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
Why do you think that https://github.com/baioc/FormallySharp is a good alternative to Lambda-Calculus