Agda.TypeChecking.Quote

quotingKit

quoteName

quoteConName

quoteTerm

quoteType

agdaTermType

qNameType

isCon

unquoteFailedGeneric

unquoteFailed

class Unquote a

unquoteH

unquoteN

choice