Agda.Syntax.Concrete

Expressions

data Expr
data AppView

Bindings

data LamBinding
data BoundName
type Telescope

Declarations

type Field
data Renaming
data AsName
data LHS
data Pattern
data RHS
data Pragma
type Module