hoas

There are 0 repository under hoas topic.

• Beluga-lang / Beluga

  Contextual types meet mechanized metatheory!

  belugaocamldependent-typeshoaslf
  Language:OCaml 181

• rlepigre / ocaml-bindlib

  Efficient binder representation in OCaml

  hoasbinders
  Language:OCaml 39