/examples/

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