@@ -24,6 +24,7 @@ does not aggregate test results.
24For example, lets take the following list of functions that are defined in a module called ``NumOps`` for a sample package ``maths``.
24For example, lets take the following list of functions that are defined in a module called ``NumOps`` for a sample package ``maths``.
26.. code-block:: idris
26.. code-block:: idris
27+ :caption: Math/NumOps.idr
28 module Maths.NumOps
29 module Maths.NumOps
@@ -36,6 +37,7 @@ For example, lets take the following list of functions that are defined in a mod
36A simple test module, with a qualified name of ``Test.NumOps`` can be declared as
37A simple test module, with a qualified name of ``Test.NumOps`` can be declared as
38.. code-block:: idris
39.. code-block:: idris
40+ :caption: Math/TestOps.idr
40 module Test.NumOps
42 module Test.NumOps