Annah.Core

Syntax

data Var

data Const

data Arg

data Let

data Data

data Type

data Bind

data Expr

Desugaring

desugar

desugarFamily

desugarNatural

desugarDo

desugarList

desugarPath

desugarLets