ConstrainedTypes. A set of type providers for F# that aims to implement an approximation of refinement types.

github.com/aggieben/ConstrainedTypes

Problem

Audience

Updates

No founder updates yet. Check back soon.