Compiler.Generated.idr Maven / Gradle / Ivy
The newest version!
module Compiler.Generated
import Idris.Version
export
generatedString : String -> String
generatedString backend =
"@" ++ "generated by Idris " ++ (show version) ++ ", " ++ backend ++ " backend"