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

Components