poly-rec
Version 0.7.0.4 revision 0 uploaded by jpgarcia.
Package meta
- Synopsis
- Polykinded extensible records
- Description
Extensible records/row polymorphism for Haskell. Fields are polykinded, to statically check rich structures. This library was initially conceived as part of the AspectAG project.
- Author
- Juan García-Garland
- Bug reports
- n/a
- Category
- Data, Dependent Types
- Copyright
- 2020-2023, Juan García-Garland, Marcos Viera, Alberto Pardo
- Homepage
- n/a
- Maintainer
- jpgarcia@fing.edu.uy
- Package URL
- n/a
- Stability
- n/a