tpreviero / lambda-calculus-evaluator Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A suite to evaluate and operate on λ-calculus expressions

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
src		src
.gitignore		.gitignore
README.md		README.md
pom.xml		pom.xml

Repository files navigation

lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions.

About

A suite to evaluate and operate on λ-calculus expressions

kotlin lambda lambda-calculus evaluator lambda-calculus-evaluator lambda-terms lambda-expression

Report repository

Releases

No releases published

Packages

Languages

Kotlin 100.0%