discrete 0.0.7

Combinatorial phantom types for discrete mathematics

discrete

Combinatorial phantom types for discrete mathematics