| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.Builtin
Description
Built-in backends.
Documentation
builtinBackends :: [Backend] Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.Builtin
Description
Built-in backends.
builtinBackends :: [Backend] Source #