Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.TypeChecking.Quote
Documentation
quoteTerm :: Term -> TCM TermSource
quoteName :: QName -> TermSource
quoteType :: Type -> TCM TermSource
agdaTermType :: TCM TypeSource
qNameType :: TCM TypeSource
Produced by Haddock version 2.6.1