Monadoc
Search
Home
natural-induction
0.2.0.0-1
lib:natural-induction
lib:natural-induction
Modules
Data.Natural.Class
Dependencies
base
lib:base >=4.9 && <5
peano
lib:peano >=0.1 && <0.2
Reverse dependencies
Direct only. Not exhaustive.
Fin
lib:Fin
clist
lib:clist
permutations
lib:permutations
permutations
test:test
word
lib:word