@@ -42,6 +42,8 @@ A simple test module, with a qualified name of ``Test.NumOps`` can be declared a
42 module Test.NumOps
42 module Test.NumOps
44 import Maths.NumOps
44 import Maths.NumOps
46+ %access export -- to make the test functions visible
46 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
48 assertEq : Eq a => (given : a) -> (expected : a) -> IO ()
47 assertEq g e = if g == e
49 assertEq g e = if g == e