fcf-family
Version 0.2.0.1 revision 1 uploaded by lyxia.
Package meta
- Synopsis
- Family of families: featherweight defunctionalization
- Description
Promote regular type families to first-class, without polluting the type namespace.
See README.
- Author
- Li-yao Xia
- Bug reports
- n/a
- Category
- Other
- Copyright
- n/a
- Homepage
- https://gitlab.com/lysxia/fcf-family
- Maintainer
- lysxia@gmail.com
- Package URL
- n/a
- Stability
- n/a