Merge pull request #1771 from christiaanb/patch-5
Add `ghc-typelits-knownnat` package
commit0e024678a15088b527cff9052f0f4707a95d8eba
authorMichael Snoyman <michael@snoyman.com>
dateWed 10 Aug 2016, 21:23 (10 years ago)
parentb084edeec1195d
build-constraints.yaml+1
@@ -1345,6 +1345,7 @@ packages:
13451345 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
13461346 - ghc-tcplugins-extra
13471347 - ghc-typelits-extra
1348+ - ghc-typelits-knownnat
13481349 - ghc-typelits-natnormalise
13491350 - clash-prelude
13501351 - clash-lib