Module voile::syntax

Abstract syntax, surface syntax, parser and well-typed terms (core language).

Modules

abs	Abstract syntax and the desugarer.
core	Core language, aka well-typed terms.
surf	Surface syntax and the parser (based on pest).