summaryrefslogtreecommitdiff
path: root/examples/13-inductive-data-types/output
AgeCommit message (Expand)Author
2026-09-27Generate name for TypeScript symbolsMichael Williamson
2026-09-21Support Option in typescript-typesMichael Williamson