@@ -50,7 +50,7 @@ Then, this gives a main program (in a file
5050
5151The same names can be defined in multiple modules. This is possible
5252because in practice names are *qualified* with the name of the module.
53−The names defined in the ``btree`` module are, in full:
53+The names defined in the ``Btree`` module are, in full:
5454
5555+ ``Btree.BTree``
5656+ ``Btree.Leaf``
@@ -99,7 +99,7 @@ and classes to be marked as: ``public``, ``abstract`` or ``private``:
9999.. note::
100100 If any definition is given an export modifier, then all names with no modifier are assumed to be ``private``.
101101
102−For our ``btree`` module, it makes sense for the tree data type and the
102+For our ``Btree`` module, it makes sense for the tree data type and the
103103functions to be exported as ``abstract``, as we see below:
104104
105105.. code-block:: idris