summaryrefslogtreecommitdiff
path: root/examples/05-inductive-data-types-separate-namespaces/src/data
AgeCommit message (Expand)Author
2026-07-31Support circular importsMichael Williamson