Agda-2.7.0: A dependently typed functional programming language and proof assistant
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Agda.Compiler.Treeless.Simplify
Documentation
simplifyTTerm
::
TTerm
->
TCM
TTerm
Source
#