@@ -56,7 +56,7 @@ their docstrings:
5656
5757.. code-block:: idris
5858
59−*plusReducesZ> :doc intro
59+ *plusReducesZ> :doc intro
6060 Language.Reflection.Elab.Tactics.intro : (n : TTName) -> Elab ()
6161 Introduce a lambda binding around the current hole and focus on the
6262 body. Requires that the hole be in binding form (use attack).
@@ -71,7 +71,7 @@ their docstrings:
7171
7272.. code-block:: idris
7373
74−*plusReducesZ> :doc rewriteWith
74+ *plusReducesZ> :doc rewriteWith
7575 Language.Reflection.Elab.Tactics.rewriteWith : Raw -> Elab ()
7676 Attempt to rewrite the goal using an equality.
7777