idris-0.9.17.1: Functional Programming Language with Dependent Types
IRTS.CodegenJavaScript
codegenJavaScript :: CodeGenerator Source
codegenNode :: CodeGenerator Source
data JSTarget Source
Constructors
Instances