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