Monadoc
Search
Home
natural-induction
0.1.0.1-0
lib:natural-induction
The latest version of natural-induction is
0.2.0.0-1
.
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.