peano 0.1.0.1

5 Reverse deps Accepted versions
clist >=0.1 && <0.2
Fin -any
monad-classes >=0.1
natural-induction >=0.1 && <0.2
polynom >=0.1 && <0.2