1.
Intro
2.
formality_core: the Formality system
2.1.
Defining your lang
2.2.
Defining terms with the term macro
2.2.1.
Parsing
2.2.2.
Customizing debug
2.3.
Constructors
2.4.
Variables
2.5.
Collections
2.6.
Judgment functions and inference rules
2.7.
FAQ and troubleshooting
Light (default)
Rust
Coal
Navy
Ayu
A MIR Formality
Variables