Agda-2.6.2.1.20220320: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Agda.Compiler.Builtin
Description
Built-in backends.
Documentation
builtinBackends
:: [
Backend
]
Source
#