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 |