The latest version of ghc-typelits-natnormalise is 0.7.10-0.
lib:ghc-typelits-natnormalise
Modules
Dependencies
- base lib:base >=4.9 && <5
- ghc lib:ghc >=8.0.1 && <8.6
- ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0.2.5
- integer-gmp lib:integer-gmp >=1.0 && <1.1
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- clash-ghc exe:clash
- clash-prelude lib:clash-prelude
- ghc-typelits-natnormalise test:test-ghc-tynat-normalise
- ghc-typelits-natnormalise test:test-ghc-typelits-natnormalise