polux / lambda-diagramsView on GitHub
Animations of lambda term reduction sequences
162May 30, 2018Updated 7 years ago

Alternatives and similar repositories for lambda-diagrams

Users that are interested in lambda-diagrams are comparing it to the libraries listed below

Sorting:

Are these results useful?