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