idris-0.9.11.1: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.CodegenC

Documentation

codegenC :: [(Name, SDecl)] -> String -> OutputType -> [FilePath] -> String -> String -> String -> DbgLevel -> IO ()Source