Agda-2.6.1.3: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.JS.Compiler

Synopsis

Documentation

data JSOptions Source #

Constructors

JSOptions 

Fields

checkCompilerPragmas :: QName -> TCM () Source #

Ensure that there is at most one pragma for a name.

primitives :: Set String Source #

Primitives implemented in the JS Agda RTS.