@@ -73,7 +73,7 @@ help =
7373 ([":let"], ManyArgs DeclArg, "Evaluate a declaration, such as a function definition, instance implementation, or fixity declaration"),
7474 ([":undefine",":unlet"], ManyArgs NameArg, "Remove the listed repl definitions, or all repl definitions if no names given"),
7575 ([":printdef"], NameArg, "Show the definition of a function"),
76− ([":pp", ":pprint"], (SeqArgs OptionArg (SeqArgs NumberArg ExprArg)), "Pretty prints an expression in either LaTeX or HTML and for a specified width.")
76+ ([":pp", ":pprint"], (SeqArgs OptionArg (SeqArgs NumberArg NameArg)), "Pretty prints an Idris function in either LaTeX or HTML and for a specified width.")
7777 ]
7878
7979-- | Use these for completion, but don't show them in :help