Info
| Version: | 0.3.0 |
| Author(s): | G-Research |
| Last Update: | Tuesday, January 14, 2020 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/G-Research/Teq |
| NuGet Url: | https://www.nuget.org/packages/TypeEquality |
Install
Install-Package TypeEquality
dotnet add package TypeEquality
paket add TypeEquality
TypeEquality Download (Unzip the "nupkg" after downloading)
Dependencies
.NETStandard 2.0
- FSharp.Core(>= 4.5.0)
- FSharp.Core(>= 4.0.0.1)
Tags
These equalities allow us to create type-safe abstractions by allowing us to encode Generalised Algebraic Data Types (GADTs), as found in languages like Haskell.