[][src]Crate voile

Modules

check

Type-Checking module.

syntax

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