Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Quick Jump
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Compiler.Treeless.Compare
Documentation
equalTerms
::
TTerm
->
TTerm
-> Bool
Source
#