hobgoblin.git/examples/14-inductive-data-types-separate-namespaces/output/typescript, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.zwobble.org/hobgoblin.git/atom?h=main 2026-09-27T10:08:39Z Generate name for TypeScript symbols 2026-09-27T10:08:39Z Michael Williamson mike@zwobble.org 2026-09-27T10:06:46Z urn:sha1:9a945c589891ab00b1b8ef5280e31e97a4f29435 Update imports in typescript-types to work with example 14 2026-09-21T20:02:55Z Michael Williamson mike@zwobble.org 2026-09-21T20:02:55Z urn:sha1:dc7d56121033af35bfdbe22e945884262b1d4410