1
2
3
4
5
6
7
8

/// Type-checking monad.
pub mod monad;

/// Typ(e-check)ing rules.
pub mod rules;

/// Patterns.
pub mod pats;