| 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