[−][src]Module voile::syntax
Abstract syntax, surface syntax, parser and well-typed terms (core language).
Modules
abs | Abstract syntax and the desugarer. |
common | General definitions, |
core | Core language, aka well-typed terms. |
lisp | A Lisp parser as some testing utility. |
surf | Surface syntax and the parser (based on pest). |