All Git Users → rlepigre

3 open source projects by rlepigre

[ Open user page on Github ]

New version of the PML language and (classical) proof assistant

✭ 15

ocaml TeX emacs lisp Vim Script shell python pml classical-logic program-equivalence

SubML (prototype) language

✭ 21

ocaml emacs lisp Vim Script Makefile polymorphism termination prototype-language subtyping

3. ocaml-bindlib

Efficient binder representation in OCaml

✭ 39

ocaml Makefile binders hoas

1-3 of 3 user projects