Info
| Version: | 0.0.1-beta |
| Author(s): | Christopher Atkins |
| Last Update: | Monday, March 21, 2016 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | http://github.com/caindy/DependentTypesProvider |
| NuGet Url: | https://www.nuget.org/packages/FSharp.DependentTypes |
Install
Install-Package FSharp.DependentTypes
dotnet add package FSharp.DependentTypes
paket add FSharp.DependentTypes
FSharp.DependentTypes Download (Unzip the "nupkg" after downloading)
Dependencies
Tags
The FSharp.DependentTypes.Strings namespace
provides types for representing dependent strings, for example strings that must be within a particular range of lengths
(BoundedString). The FSharp.DependentTypes.Numbers namespace provides dependent types for the numeric primitives in .NET,
e.g.
BoundedInt.