IRTS.Compiler
Description
compile :: Codegen -> FilePath -> Maybe Term -> Idris CodegenInfo #
Compile to simplified forms and return CodegenInfo
generate :: Codegen -> FilePath -> CodegenInfo -> IO () #