Refinement types with static and runtime checking

Version on this page:
LTS Haskell 12.22:
Stackage Nightly 2018-12-10:
Latest on Hackage:

See all snapshots refined appears in

MIT licensed by Nikita Volkov
Maintained by chessai

Module documentation for

For an extensive introduction to the library please follow to this blog-post.

comments powered byDisqus