Refined types
Switch branches/tags
Nothing to show
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Data
.gitignore
.travis.yml
CHANGELOG.md
LICENSE.md
README.md
Setup.hs
facts.cabal

README.md

Facts

License BSD3 Hackage Stackage Nightly Stackage LTS Build Status

This is a library for working with refined types in Haskell. Please refer to the Haddock for more information as I'm still working on how to present the ideas in it to people.

Here is a blog post that announces the library:

Contribution

Please kindly direct all issues, bugs, and questions to the GitHub issue tracker for this project.

Pull requests are also welcome and will be reviewed quickly.

License

Copyright © 2018 Mark Karpov

Distributed under BSD 3 clause license.