search

serokell / universum

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

Use TypeNats instead of TypeLits when possible #67

Closed MichaelXavier closed 7 years ago

MichaelXavier commented 7 years ago

This resolves #65.

You can exercise this by building against resolver=nightly. Current LTS is still on base-4.9.0.0