Experiments with @robkuz's DependentType type to create fully functioning F# dependent types.
Based on the article Creating Generic Wrappers for Validated Values and discussion here.
jackfoxy/DependentTypes
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|