GitHub - viluon/yalcr: Yet Another λ-Calculus Repl. · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
images		images
project		project
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt

Repository files navigation

yaλcr (yalcr) is Yet Another λ-Calculus REPL. It only supports normal β-reduction at the moment.

About

Yet Another λ-Calculus Repl.

lambda-calculus repl

AGPL-3.0 license

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages