https://github.com/rlepigre/subml
SubML (prototype) language
https://github.com/rlepigre/subml
polymorphism prototype-language subtyping termination
Last synced: 5 months ago
JSON representation
SubML (prototype) language
- Host: GitHub
- URL: https://github.com/rlepigre/subml
- Owner: rlepigre
- Created: 2017-09-10T20:59:12.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2022-03-20T15:49:08.000Z (about 3 years ago)
- Last Synced: 2023-07-31T17:38:05.892Z (over 1 year ago)
- Topics: polymorphism, prototype-language, subtyping, termination
- Language: OCaml
- Homepage: https://rlepigre.github.io/subml
- Size: 15.5 MB
- Stars: 23
- Watchers: 5
- Forks: 2
- Open Issues: 0