Agda-2.2.8: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Quote
quoteTerm :: Term -> TCM TermSource
quoteName :: QName -> TermSource
quoteType :: Type -> TCM TermSource
agdaTermType :: TCM TypeSource
qNameType :: TCM TypeSource