issues
search
clash-lang
/
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Other
43
stars
15
forks
source link
Backtrack attempt 2
#39
Closed
christiaanb
closed
4 years ago
christiaanb
commented
4 years ago
Fixes #23
Fixes #23