@@ -54,9 +54,9 @@ Given an Idris package file ``maths.ipkg`` it can be used with the Idris compile
54 package only. This differs from build that type checks **and**
54 package only. This differs from build that type checks **and**
55 generates code.
55 generates code.
57−+ ``idris --mathspkg maths.ipkg`` will compile and run any embedded
57++ ``idris --testpkg maths.ipkg`` will compile and run any embedded
58− mathss you have specified in the ``tests`` paramater. More
58+ tests you have specified in the ``tests`` paramater. More
59− information about mathsing is given in the next section.
59+ information about testing is given in the next section.
61Once the maths package has been installed, the command line option
61Once the maths package has been installed, the command line option
62``--package maths`` makes it accessible (abbreviated to ``-p maths``).
62``--package maths`` makes it accessible (abbreviated to ``-p maths``).