The latest version of refined is 0.8.2-0.
refined
Version 0.5 revision 0 uploaded by chessai.
Package meta
- Synopsis
- Refinement types with static and runtime checking
- Description
For an extensive introduction to the library please follow to this blog-post.
- Author
- Nikita Volkov <nikita.y.volkov@mail.ru>
- Bug reports
- https://github.com/nikita-volkov/refined/issues
- Category
- Data
- Copyright
- Copyright © 2015, Nikita Volkov Copyright © 2018, Remy Goldschmidt Copyright © 2020, chessai
- Homepage
- https://github.com/nikita-volkov/refined
- Maintainer
- chessai <chessai1996@gmail.com>
- Package URL
- n/a
- Stability
- n/a