idris

Safe HaskellNone

IRTS.CodegenJava

Documentation

codegenJava :: [(Name, SExp)] -> [(Name, SDecl)] -> FilePath -> [String] -> [String] -> OutputType -> IO ()Source