@@ -26,6 +26,7 @@ help =
26 [ (["<expr>"], NoArg, "Evaluate an expression"),
26 [ (["<expr>"], NoArg, "Evaluate an expression"),
27 ([":t"], ExprArg, "Check the type of an expression"),
27 ([":t"], ExprArg, "Check the type of an expression"),
28 ([":miss", ":missing"], NameArg, "Show missing clauses"),
28 ([":miss", ":missing"], NameArg, "Show missing clauses"),
29+ ([":doc"], NameArg, "Show internal documentation"),
29 ([":i", ":info"], NameArg, "Display information about a type class"),
30 ([":i", ":info"], NameArg, "Display information about a type class"),
30 ([":total"], NameArg, "Check the totality of a name"),
31 ([":total"], NameArg, "Check the totality of a name"),
31 ([":r",":reload"], NoArg, "Reload current file"),
32 ([":r",":reload"], NoArg, "Reload current file"),