Info
| Version: | 0.2.3 |
| Author(s): | Vesa Karvonen and Anton Tayanovskyy |
| Last Update: | Monday, May 23, 2016 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/VesaKarvonen/Infers |
| NuGet Url: | https://www.nuget.org/packages/Infers |
Install
Install-Package Infers
dotnet add package Infers
paket add Infers
Infers Download (Unzip the "nupkg" after downloading)
Dependencies
- FSharp.Core(>= 3.1.2.5)
Tags
The idea is to view the types of F# member functions as Horn clauses. Using a Prolog-style resolution engine it is then possible to attempt to prove goals given as simple F# types.
During the resolution process the engine invokes the member functions to build a value of the type given as the goal.