GitHub - N-Hypatia/Robust-Lambda: Building a functional untyped lambda calculus interpreter with a visual reduction tracer. · GitHub

Name		Name	Last commit message	Last commit date
.vscode		.vscode
robust-lambda		robust-lambda
GOALS.md		GOALS.md
IDEAS.md		IDEAS.md
MVP ROADMAP.md		MVP ROADMAP.md
READINGS.MD		READINGS.MD
README.MD		README.MD
RESUME.md		RESUME.md

Repository files navigation

About

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

formal-languages lambda lambda-calculus lambda-calculus-evaluator

Custom properties

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages