/examples/06-inductive-data-types/

• ../
• hobgoblin.json5
• output
• src