Agda.TypeChecking.Rewriting

requireOptionRewriting

verifyBuiltinRewrite

data RelView

relView

addRewriteRule

addRewriteRules

rebindLocalRewriteRules

rewriteWith

rewrite

Auxiliary functions

class NLPatVars a

rewArity

class KillCtxId a

class GetMatchables a