peano 0.1.0.1

10 Reverse deps Accepted versions
clist >=0.1 && <0.2
Fin -any
monad-classes >=0.1
monopati -any
natural-induction >=0.1 && <0.2
permutations ==0.1.*
polynom >=0.1 && <0.2
reg-alloc-graph-color >=0.1 && <0.2
rv -any
word >=0.1 && <0.2