ModuleAgda-2.8.0.2Haskell2010
Agda.Compiler.MAlonzo.Compiler
Synopsis
- value ghcBackend
- value ghcInvocationStrings
- PackageAgda-2.8.0.2
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceCompiler.hs
Option strings to activate the GHC backend.
GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02
ModuleAgda-2.8.0.2Haskell2010
Option strings to activate the GHC backend.