Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.TypeChecking.Quote
Documentation
quoteTerm
::
Term
->
TCM
Term
Source
quoteName
::
QName
->
Term
Source
quoteType
::
Type
->
TCM
Term
Source
agdaTermType
::
TCM
Type
Source
qNameType
::
TCM
Type
Source
Produced by
Haddock
version 2.6.1