search

clash-lang / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints
Other
14 stars 10 forks source link

Try svg #7

Closed ggreif closed 8 years ago

ggreif commented 8 years ago

Much prettier on a retina screen 😀