process :: FilePath -> Command -> Idris ()
process fn Help = iPrintResult displayHelp
process :: FilePath -> Command -> Idris ()
process fn Help = iPrintResult displayHelp
process fn Help = iPrintResult displayHelp