GitHub - radekmie/lambda: Beta reduction graph visualization · GitHub

This repository was archived by the owner on Jan 21, 2024. It is now read-only.

Repository navigation

lambda

Public archive

About

Beta reduction graph visualization

radekmie.dev/lambda/

graph graph-visualization lambda-calculus reduction reduction-strategies

5 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
docs-source		docs-source
docs		docs
lambda		lambda
.gitignore		.gitignore

About

Beta reduction graph visualization

radekmie.dev/lambda/

graph graph-visualization lambda-calculus reduction reduction-strategies

5 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages