Geeks
keigoi
/
olt_ocaml
An encoding of Ordered Linear Types in OCaml
Primary Language
OCaml
olt_ocaml GitHub
Markdown
Readme
0
Issues
8
Stargazers
2
Watchers
Stargazers
bobzhang
marcoonroad
Rio de Janeiro, RJ - Brasil.
jgjl
Bay Area
smondet
New York, NY
mseri
Groningen, NL
smorimoto
Cambridge, UK / Tokyo, Japan
esneko
Latvia
phobos731