Agda-2.5.1: A dependently typed functional programming language and proof assistant
Agda.Syntax.Reflected
type Args = [Arg Term] Source
data Elim' a Source
Constructors
Instances
type Elim = Elim' Term Source
type Elims = [Elim] Source
argsToElims :: Args -> Elims Source
data Abs a Source
data Term Source
type Type = Term Source
data Sort Source
data Pattern Source
data Clause Source
data Definition Source