Contents
Index

Agda-2.5.4: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell2010

Agda.Compiler.Treeless.Simplify

Documentation

simplifyTTerm :: TTerm -> TCM TTerm #

Produced by Haddock version 2.20.0