Geeks
deeplang-org
/
deeplang-type-system
DeepLang type system based on Ocaml
Primary Language
OCaml
deeplang-type-system GitHub
Markdown
Readme
12
Issues
7
Stargazers
6
Watchers
Stargazers
andrew-johnson-4
LibExplainer.com
HobbitQia
Zhejiang University
LDZzz2
Mepy
MMZK1526
Artificial Labs; Imperial College London
mutouyuguo
China
waterlens