vm.fail / ego
Alpha equivalence checker for arbitrary lambda terms
7
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

ego / examples
8 files
matcher.json
matcher.svg
modulo.json
modulo.svg
parity.dot
parity.json
parity.png
parity.svg