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.