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