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.
F# DependentTypes
Homepage Repository NuGet F# Download
Install-Package DependentTypes -Version 0.4.0
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.