Refinement types with static and runtime checking

Version on this page:
LTS Haskell 12.24:
Stackage Nightly 2018-12-17:
Latest on Hackage:

See all snapshots refined appears in

MIT licensed by Nikita Volkov
Maintained by chessai

Module documentation for

There are no documented modules for this package.

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

comments powered byDisqus