discrete

Combinatorial phantom types for discrete mathematics