Module nar::syntax::abs::desugar

Surface to abstract, scope-checking.

Modules

decls	Desugar declarations.
error	Desugar error.
exprs	Desugar expressions.
monad	Desugar monad (state and monad-result).

Structs

DesugarState

Functions

desugar_main

Type Definitions

DesugarM

Desugar Monad.