idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.CodegenJava

Documentation

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