dev-haskell/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
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