1
2
3
4
5
6
7
8

/// Core language, aka well-typed terms.
pub mod core;

/// Surface syntax and the parser (based on pest).
pub mod surf;

/// Abstract syntax and the desugarer.
pub mod abs;