Giters
mmcqd
/
pure
A pure type system implemented in OCaml
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
77
Watchers:
1
Issues:
3
Forks:
1
mmcqd/pure Issues
Purpose of Gamma and Delta contexts
Updated
4 months ago
Add A License
Updated
2 years ago
Name collision (Pure programming language already exists)
Updated
4 years ago