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 / ocaml / lib
11 files
debruijn.ml
debruijn.mli
dune
explicit_subst.ml
explicit_subst.mli
json_io.ml
locally_nameless.ml
locally_nameless.mli
named.ml
named.mli
syntax.ml