Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.Treeless.Erase
- eraseTerms :: QName -> TTerm -> TCM TTerm
- computeErasedConstructorArgs :: QName -> TCM ()
Agda-2.5.3: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.Treeless.Erase