idris
Util.LLVMStubs
getDefaultTargetTriple :: IO StringSource
getHostCPUName :: IO StringSource
codegenLLVM :: [(Name, SDecl)] -> String -> String -> Word -> FilePath -> OutputType -> IO ()Source