ModuleAgda-2.8.0.2Haskell2010
Agda.Compiler.Treeless.Erase
Synopsis
- value eraseTerms
- value computeErasedConstructorArgs
- value isErasable
- PackageAgda-2.8.0.2
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceErase.hs
Takes the name of the data/record type.