Agda.Syntax.Scope.Monad

The scope checking monad

type ScopeM

Errors

General operations

Names

Resolving names

Binding names

Module manipulation operations

type Ren a
type Out
type WSM