dev-haskell/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
ChangeLog
commit 4317eff1b95644f13c3f047519a2770c9989eebd
Author: Yi Yang @ Astraeus <ahyangyi@gmail.com>
Date: Sat Sep 30 01:02:48 2017 +0800
clash-ghc and its haskell dependencies
Author: Yi Yang @ Astraeus <ahyangyi@gmail.com>
Date: Sat Sep 30 01:02:48 2017 +0800
clash-ghc and its haskell dependencies