@hackage / tfp

Type-level integers, booleans, lists using type families

Latest1.0.2

Dependencies