[−][src]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). |