All Categories → No Category → hoas

Top 2 hoas open source projects

Contextual types meet mechanized metatheory!

✭ 159

ocaml TeX emacs lisp shell ruby c lf beluga hoas

Efficient binder representation in OCaml

✭ 39

ocaml Makefile binders hoas

1-2 of 2 hoas projects