https://github.com/jackfoxy/dependenttypes

experiments with @robkuz LimitedValue type
https://github.com/jackfoxy/dependenttypes

dependent-types fsharp

Last synced: about 18 hours 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 (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-09-28T17:24:37.000Z (about 5 years ago)
• Last Synced: 2023-03-24T18:37:12.233Z (over 1 year 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

Awesome Lists containing this project