discrete 0.0.5

Combinatorial phantom types for discrete mathematics