Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.JS.Compiler

Synopsis

Documentation

local :: Nat -> Exp #

primitives :: Set String #

Primitives implemented in the JS Agda RTS.