fin-part-ord 0.1.0

Datatype for finite partial orders
Documentation