Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.Utils.TypeLits
Description
Type level literals, inspired by GHC.TypeLits.
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.Utils.TypeLits
Description
Type level literals, inspired by GHC.TypeLits.