summaryrefslogtreecommitdiff
path: root/examples/13-inductive-data-types/src/arithmetic.hob
AgeCommit message (Expand)Author
2026-09-21Support Option in typescript-typesMichael Williamson