Agda.Compiler.MAlonzo.Compiler
compilerMain
compile
imports
definitions
definition
checkConstructorType
checkCover
conArityAndPars
clause
argpatts
clausebody
term
term'
literal
hslit
litqname
condecl
cdecl
tvaldecl
infodecl
hsCast
hsCast'
hsCoerce
writeModule
rteModule
explicitForAll
compileDir
outFile'
outFile
outFile_
callGHC