Agda.TypeChecking.Rules.Term

Types

Telescopes

Literal

Terms

Let bindings