Module voile::syntax

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

Modules

abs	Abstract syntax and the desugarer.
common	General definitions, DBI, etc.
core	Core language, aka well-typed terms.
level	Level-related definitions, extracted from common.
lisp	A Lisp parser as some testing utility.
pest_util	Helper functions for pest.
surf	Surface syntax and the parser (based on pest).