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