10

8

6

4

2


5.0
0.0
type-level-numbers

4.1
0.0
type-eq

2 type packages and projects

  • type-level-numbers

    5.0 0.0 Haskell
    Implementation of type level natural and signed integer numbers in haskell using type families.

  • type-eq

    4.1 0.0 Haskell
    Type equality evidence you can carry around
WorkOS - The modern identity platform for B2B SaaS
sponsored workos.com
InfluxDB - Power Real-Time Data Analytics at Scale
sponsored www.influxdata.com

Add another 'type' Package