https://github.com/jackfoxy/dependenttypes
experiments with @robkuz LimitedValue type
https://github.com/jackfoxy/dependenttypes
dependent-types fsharp
Last synced: 5 months ago
JSON representation
experiments with @robkuz LimitedValue type
- Host: GitHub
- URL: https://github.com/jackfoxy/dependenttypes
- Owner: jackfoxy
- License: unlicense
- Created: 2017-10-28T21:12:36.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-09-28T17:24:37.000Z (over 5 years ago)
- Last Synced: 2023-03-24T18:37:12.233Z (about 2 years ago)
- Topics: dependent-types, fsharp
- Language: F#
- Homepage: https://jackfoxy.github.io/DependentTypes/
- Size: 734 KB
- Stars: 69
- Watchers: 6
- Forks: 3
- Open Issues: 6