QuickLearn's T-Rex Metadata Library provides attributes that can be used to decorate your API Apps' actions and models for Logic App consumption. Use this package for shared projects containing models.
Infers.Toys provides a collection of more or less experimental datatype
generic functions for F#. The primary focus of Infers.Toys is to
demonstrate possibilities rather than to provide the best possible
implementations. The documentation of individual generic functions
typically mention known...
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...