Update module name to |Btree| to match code sample
The code sample shows the module named |Btree| now.
|bst| was perhaps carried over from an older revision?
commit3ad394ec27b62fe1b9dd8f9b73816069671033a7
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateMon 27 Jul 2015, 23:59 (11 years ago)
parent5339208
docs/tutorial/modules.rst+1−1
@@ -34,7 +34,7 @@ module which defines a binary tree type ``BTree`` (in a file
3434
3535
3636Then, this gives a main program (in a file
37−``bmain.idr``) which uses the ``bst`` module to sort a list:
37+``bmain.idr``) which uses the ``Btree`` module to sort a list:
3838
3939.. code-block:: idris
4040