| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.MAlonzo.Compiler
Synopsis
- ghcBackend :: Backend
- ghcInvocationStrings :: [String]
Documentation
ghcBackend :: Backend Source #
ghcInvocationStrings :: [String] Source #
Option strings to activate the GHC backend.