git.iko.soy/Idris-dev
on master help sign in
Improved documentation.
03a0494Jan de Muijnck-Hughes
src/Idris/Help.hs+1−1
compare with master
unifiedsplit
@@ -73,7 +73,7 @@ help =
73 ([":let"], ManyArgs DeclArg, "Evaluate a declaration, such as a function definition, instance implementation, or fixity declaration"),
73 ([":let"], ManyArgs DeclArg, "Evaluate a declaration, such as a function definition, instance implementation, or fixity declaration"),
74 ([":undefine",":unlet"], ManyArgs NameArg, "Remove the listed repl definitions, or all repl definitions if no names given"),
74 ([":undefine",":unlet"], ManyArgs NameArg, "Remove the listed repl definitions, or all repl definitions if no names given"),
75 ([":printdef"], NameArg, "Show the definition of a function"),
75 ([":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.")
77 ]
77 ]
78
78
79-- | Use these for completion, but don't show them in :help
79-- | Use these for completion, but don't show them in :help