Conventions

We have agreed upon the following conventions:

MCore

• Naming should follow the CamelCase style
• Types are written as uppercase (CamelCase), e.g. MyType
• Type parameters should be lowercase, e.g. a
• Identifiers are written lowercase (camelCase), e.g. myIdentifier
• Source code width should be limited to 80 characters unless there is a good reason to exceed this.
• Indentation should be done with 2 spaces.
• File names should be written with dashes, e.g., long-named-file.mc.

OCaml

• Variables, functions, and types should follow snake_case, while constructors use CamelCase.
• Source code width should be limited to 80 characters unless there is a good reason to exceed this.
• Indentation should be done with 2 spaces.