cmd_search :: String -> IP.IdrisParser (Either String Command)
cmd_search = packageBasedCmd
  (IP.fullExpr (defaultSyntax { implicitAllowed = True })) Search
cmd_search :: String -> IP.IdrisParser (Either String Command)
cmd_search = packageBasedCmd
  (IP.fullExpr (defaultSyntax { implicitAllowed = True })) Search
cmd_search = packageBasedCmd
  (IP.fullExpr (defaultSyntax { implicitAllowed = True })) Search