polux / lambda-diagramsLinks

Animations of lambda term reduction sequences
134Updated 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: