Agda
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Compiler.Treeless.Identity
Documentation
detectIdentityFunctions
::
QName
->
TTerm
->
TCM
TTerm
Source
#