Skip to main content

Module ast

Module ast 

Source
Expand description

Abstract terms.

Structs§

AppView
Application’s internal view. Agda.

Enums§

Abs
The abstract syntax.

Type Aliases§

AbsCopat
Patterns in the abstract syntax.
AbsPat
AbsTele
Telescopes in the abstract syntax.
Bind
Name binding.