⚙️ A simple lambda (λ) calculus interpreter
-
Updated
Sep 12, 2018 - Haskell
⚙️ A simple lambda (λ) calculus interpreter
Large Scale Type Systems (programming language)
Lambda calculus interpreter written in Java
An implementation of untyped λ-calculus (lambda calculus) in Elixir
A place for me to learn/ experiment with interpreters/compilers
lambda calculus interpreter
An iterative untyped lambda calculus interpreter written in JavaScript.
essential lambda
minimal lambda interpreter in c99
A lambda calculus interpreter written in C.
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
REPL for the lambda calculus
An untyped lambda calculus interpreter
Pure untyped lambda calculus in safe Rust.
Add a description, image, and links to the lambda-calculus-interpreter topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus-interpreter topic, visit your repo's landing page and select "manage topics."