/examples/

• ../
• 01-struct
• 02-struct-singleton
• 03-sum
• 04-inductive-data-types
• 05-inductive-data-types-separate-namespaces
• 06-enum
• 07-list
• 08-native-type
• 09-native-type-custom-config
• 10-shared
• 11-custom-code
• 12-imports
• 13-transient-0
• renumber.py
• templates