summaryrefslogtreecommitdiff
path: root/src/Data/INat.hs
Commit message (Expand)AuthorAge
* Rename inductive naturals to INatTom Smeding2024-04-14