Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.12. Use base:Data.Type.Equality instead.
Propositional equality and type equality.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Deprecated: This module is deprecated in Copilot 3.12. Use base:Data.Type.Equality instead.
Propositional equality and type equality.