/examples/

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