Explanation

This section explains why Korml is designed the way it is.

The main design idea is that Korml should be small enough to specify and test carefully, while still preserving the source text faithfully enough for tooling. The versioned reference pages describe what each language version accepts. The explanation pages describe the design choices that are shared across versions.

The explanation pages are:

• Design Goals
• Versioning Model
• Round-trip Fidelity
• Language Pipeline