https://github.com/frenchy64/mini-occ

Small model of occurrence typing.
https://github.com/frenchy64/mini-occ

Last synced: 1 day ago
JSON representation

Small model of occurrence typing.

• Host: GitHub
• URL: https://github.com/frenchy64/mini-occ
• Owner: frenchy64
• License: epl-1.0
• Created: 2017-03-20T23:28:57.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-04-03T14:21:52.000Z (over 7 years ago)
• Last Synced: 2024-05-02T00:16:30.965Z (5 months ago)
• Language: Clojure
• Size: 14.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 3

Awesome Lists containing this project