@@ -23,9 +23,10 @@ rewriteWith and others.
23``pruviloj`` defines some more advanced derived commands such as:
23``pruviloj`` defines some more advanced derived commands such as:
24reflexivity and others.
24reflexivity and others.
26−To use ``pruviloj`` then call Idris with the "-p pruviloj" option and add:
26+To use ``pruviloj`` call Idris with the "-p pruviloj" option and add:
28.. code-block:: idris
28.. code-block:: idris
29 import Pruviloj
30 import Pruviloj
30 import Pruviloj.Induction
31 import Pruviloj.Induction