DependentTypes
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.
experiments with @robkuz LimitedValue type
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.
experiments with @robkuz LimitedValue type
https://jackfoxy.github.io/DependentTypes/
The Unlicense