summaryrefslogtreecommitdiff
path: root/examples/08-custom-code/hobgoblin.json5
AgeCommit message (Collapse)Author
2026-07-24Add Shared typeMichael Williamson
2026-07-14Rename java-junit to javaMichael Williamson
2026-07-14Convert 08-custom-code to use JUnitMichael Williamson
2026-07-02Add inductive data types exampleMichael Williamson