Refinement types for Scala. Contribute to fthomas/refined development by creating an account on GitHub.