@@ -33,6 +33,7 @@ help =
3333 ([":doc"], NameArg, "Show internal documentation"),
3434 ([":mkdoc"], NamespaceArg, "Generate IdrisDoc for namespace(s) and dependencies"),
3535 ([":apropos"], NoArg, "Search names, types, and documentation"),
36+ ([":search", ":s"], ExprArg, "Search for values by type")
3637 ([":whocalls", ":wc"], NameArg, "List the callers of some name"),
3738 ([":callswho", ":cw"], NameArg, "List the callees of some name"),
3839 ([":total"], NameArg, "Check the totality of a name"),