Safe Haskell | None |
---|
IRTS.CodegenJavaScript
Documentation
codegenJavaScript :: JSTarget -> [(Name, SDecl)] -> FilePath -> OutputType -> IO ()Source
idris
Safe Haskell | None |
---|
IRTS.CodegenJavaScript
codegenJavaScript :: JSTarget -> [(Name, SDecl)] -> FilePath -> OutputType -> IO ()Source