nonempty-lift
Version 0.1 revision 0 uploaded by chessai.
Package meta
- Synopsis
- nonempty structure
- Description
nonempty structure, parameterised by another structure
- Author
- chessai
- Bug reports
- https://github.com/chessai/nonempty/issues
- Category
- Data
- Copyright
- © 2019 chessai
- Homepage
- https://github.com/chessai/nonempty
- Maintainer
- chessai <chessai1996@gmail.com>
- Package URL
- n/a
- Stability
- n/a