idris-0.9.11: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.CodegenC

Documentation

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