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 / .gitignore
65 B 5 lines
1.nimhome/ 2nim/ego 3nim/nimcache/ 4nim/nimcache_test/ 5ocaml/_build/