Module nar::check::rules

Typ(e-check)ing rules.

Modules

clause	Type check a function clause.
infer	Synthesize the type and its well-typed form from an abstract term.
unify	Conversion check.
whnf	Find the weak-head-normal-form (normalize) of an expression. TODO: Unfolds declarations.

Functions

check
check_fallback