Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Safe Haskell | Safe-Infered |
Data.IsTy
Description
Type class for typed type representations
ty-0.0.2: Typed type representations and equality proofs
Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Safe Haskell | Safe-Infered |
Data.IsTy
Description
Type class for typed type representations