idris
IRTS.CodegenJavaScript
codegenJavaScript :: JSTarget -> [(Name, SDecl)] -> FilePath -> OutputType -> IO ()Source
data JSTarget Source
Constructors
Instances