peano 0.1.0.1

7 Reverse deps Accepted versions
clist >=0.1 && <0.2
Fin -any
monad-classes >=0.1
natural-induction >=0.1 && <0.2
permutations ==0.1.*
polynom >=0.1 && <0.2
word >=0.1 && <0.2