Agda.Syntax.Abstract.Views

data AppView

appView

maybeProjTurnPostfix

unAppView

data LamView

lamView

asView

isSet

unScope

deepUnscope

deepUnscopeDecls

deepUnscopeDecl

Traversal

class ExprLike a