Idris2Doc : System.Escape

System.Escape

escapeArg : String -> String
  Escape special characters in an Idris string, for use as a string literal
in the shell

escapeCmd : ListString -> String
  Escape special characters in a list of shell arguments, as a single command
for the shell.
eg. the list ["a", "b", "c d"] is interpreted as the command `a b "c d"`