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.
Install
dotnet add package Infers --version 0.2.2
Install-Package Infers -Version 0.2.2
<PackageReference Include="Infers" Version="0.2.2" />
Frameworks
No framework metadata available.
Dependencies
Adoption guide
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.
No target framework metadata is available. Confirm compatibility in a representative project before standardising on this package.
How to read this guidance
Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.
Useful next steps
Move from package metadata to a concrete selection or review workflow.