type file id Infers version 0.2.3 summary Infers is a library for deriving F# values from their types. authors Vesa Karvonen and Anton Tayanovskyy owners Vesa Karvonen iconUrl https://avatars0.githubusercontent.com/u/19616776 licenseUrl https://github.com/Infers/Infers/blob/master/LICENSE.md projectUrl https://github.com/Infers/Infers requireLicenseAcceptance false description 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. releaseNotes This is an experimental version of Infers and is not recommended for production use. copyright © Vesa Karvonen and Anton Tayanovskyy tags F# fsharp generic polytypic logic dependencies FSharp.Core >= 3.1.2.5 files Libs/Infers/bin/Release/Infers.dll ==> lib/net45 Libs/Infers/bin/Release/Infers.xml ==> lib/net45 Libs/Infers.Core/bin/Release/Infers.Core.dll ==> lib/net45 Libs/Infers.Core/bin/Release/Infers.Core.xml ==> lib/net45