Index
fold | Data.Natural |
monus | Data.Natural |
Natural | Data.Natural |
Succ | Data.Natural |
View | Data.Natural |
view | Data.Natural |
Zero | Data.Natural |
natural-numbers-0.1.2.0: Natural numbers
Index
fold | Data.Natural |
monus | Data.Natural |
Natural | Data.Natural |
Succ | Data.Natural |
View | Data.Natural |
view | Data.Natural |
Zero | Data.Natural |