Agda.TypeChecking.Monad.Base
Type checking state
Interface
Closure
Constraints
Open things
Judgements
Meta variables
Interaction meta variables
Signature
Injectivity
Mutual blocks
Statistics
Trace
Builtin things
Type checking environment
Context
Let bindings
Abstract mode
Type checking errors
Type checking monad transformer