https://github.com/dannywillems/dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
https://github.com/dannywillems/dsubml

Last synced: about 1 month ago
JSON representation

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

• Host: GitHub
• URL: https://github.com/dannywillems/dsubml
• Owner: dannywillems
• Created: 2017-04-01T20:50:58.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-04-18T11:45:42.000Z (over 7 years ago)
• Last Synced: 2024-05-02T01:49:56.864Z (7 months ago)
• Language: OCaml
• Homepage:
• Size: 149 KB
• Stars: 9
• Watchers: 2
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project