Agda-2.6.0: 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.