summaryrefslogtreecommitdiff
path: root/src/Data/Nat.hs
Commit message (Collapse)AuthorAge
* Reorganise, documentationTom Smeding2024-04-03