/// Core language.
pub mod core;

/// Abstract terms and declarations.
pub mod abs;

/// Surface syntax.
pub mod surf;

/// Generic patterns.
pub mod pat;

/// To be moved to a separate crate for future languages.
pub mod common;