@hackage / type-settheory

Sets and functions-as-relations in the type system

0.1.3.1

Dependents