A programming language based on the untyped lambda calculus.
-
Updated
Nov 24, 2012 - Scheme
A programming language based on the untyped lambda calculus.
Binary Lambda Calculus for general-purpose programming
Pure Type Systems for Functional Programming
Untyped Lambda Calculus Interpreter implemented with ANTLR4
Lambda calculus in JavaScript (probably ES5 and node compliant)
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Haskell implementation of interaction net-based lambda evaluation
An extremely impractical, but pure programming language.
Not that lambda calculus really needs a spec...
Doing homework for fun, from a class I don't attend, because I like compilers
Prácticas de la asignatura de Lógica y Programación del curso 2015-2016
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."