search

serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
176 stars 28 forks source link

GHC.TypeNats #65

Closed chshersh closed 7 years ago

chshersh commented 7 years ago

Since base-4.10 there's GHC.TypeNats which probably should be used instead of GHC.TypeLits.

Relates #60.