showUsage :: IO ()
showUsage = do
    putStrLn "Usage: idris-bash <ibc-files> [-o <output-file>]"
    exitWith ExitSuccess
showUsage :: IO ()
showUsage = do
    putStrLn "Usage: idris-bash <ibc-files> [-o <output-file>]"
    exitWith ExitSuccess
showUsage = do
    putStrLn "Usage: idris-bash <ibc-files> [-o <output-file>]"
    exitWith ExitSuccess