DependentTypes Save
experiments with @robkuz LimitedValue type
Project README
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.
Open Source Agenda is not affiliated with "DependentTypes" Project. README Source: jackfoxy/DependentTypes
Stars
70
Open Issues
6
Last Commit
4 years ago
Repository
Open Source Agenda Badge
