type-level-sets-0.6: Type-level sets and finite maps (with value-level counterparts and various operations)
Index