on master help sign in
Update testing.rst
commit82afba48ce43cd1d5bedd71b5d7135a1c97812d7 authorMarkus Klink <justjoheinz@gmail.com> dateTue 6 Dec 2016, 16:49 (10 years ago) parenta45f3be
1 file changed+2
docs/tutorial/testing.rst+2
docs/tutorial/testing.rst+2
@@ -27,6 +27,8 @@ For example, lets take the following list of functions that are defined in a mod
2727.. code-block:: idris
2828
2929 module Maths.NumOps
30+
31+ %access export -- to make functions under test visible
3032
3133 double : Num a => a -> a
3234 double a = a + a