Dada Formal Model
Documents the formal model. Aspires to be a tour of the codebase, a kind of "literate programming"-style document. But for now, mostly a place for me to add notes.
Formality core
The model is implemented in formality-core, the system defined for a-mir-formality. Snippets of the grammar are typically taken from src/grammar.rs
.