Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
README.md		README.md
lambda.cpp		lambda.cpp
lambda.h		lambda.h
lambda.py		lambda.py
programs.lam		programs.lam

Repository files navigation

Lambda Calculus

Programs to evaluate lambda calculus expressions. Uses Lambda Diagrams by John Tromp.

About

Lambda Calculus implementations

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages