https://github.com/jackfoxy/dependenttypes

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

dependent-types fsharp

Last synced: 11 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 8 years ago)
• Default Branch: master
• Last Pushed: 2019-09-28T17:24:37.000Z (over 6 years ago)
• Last Synced: 2025-05-14T16:39:54.954Z (about 1 year ago)
• Topics: dependent-types, fsharp
• Language: F#
• Homepage: https://jackfoxy.github.io/DependentTypes/
• Size: 734 KB
• Stars: 71
• Watchers: 7
• Forks: 3
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# DependentTypes

Experiments with @robkuz's DependentType type to create fully functioning F# dependent types.

[Documentation and tutorial](https://jackfoxy.github.io/DependentTypes/)

Based on the article [Creating Generic Wrappers for Validated Values](https://robkuz.github.io/Limited-Values/) and [discussion here](https://github.com/robkuz/robkuz.github.io/issues/6).