Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 3.6% dependent packages on nuget.org
Top 7.0% dependent repos on nuget.org
Top 6.4% forks on nuget.org
nuget.org : 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.
Registry
- Homepage
- JSON
purl: pkg:nuget/infers
Keywords: F#, fsharp, generic, polytypic, logic
License: MIT
Latest release: almost 8 years ago
First release: over 124 years ago
Dependent packages: 4
Dependent repositories: 1
Downloads: 14,682 total
Stars: 31 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 24 days ago