Module nar::syntax

Core language, abstract syntax, surface syntax, and the parser. Corresponds to Agda's Agda.Syntax.

Modules

abs	Abstract terms and declarations.
common	To be moved to a separate crate for future languages.
core	Core language.
pat	Generic patterns.
surf	Surface syntax.