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