discrete 0.2.0

Combinatorial phantom types for discrete mathematics
Documentation