A set of type providers for F# that aims to implement an approximation of refinement types.
Primary LanguageF#Apache License 2.0Apache-2.0