idris-0.9.11: Functional Programming Language with Dependent Types
IRTS.CodegenJavaScript
codegenJavaScript :: JSTarget -> [(Name, SDecl)] -> FilePath -> OutputType -> IO ()Source
data JSTarget Source
Constructors
Instances