NuGet Package Infers

Infers is a library for deriving F# values from their types and, in a way, a direct application of the Curry-Howard correspondence.

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.

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)

4 packages depend on this package.


Tags



STATS

must-have-score

.8

avg-downloads-per-day

2

days-since-last-release

1504