[][src]Module nar::check

Anything relevant to type-checking. Corresponds to Agda's Agda.TypeChecking.

Modules

monad

Type-checking monad.

pats

Patterns.

rules

Typ(e-check)ing rules.