@@ -4,4 +4,7 @@ language with dependent types.
44To configure, edit config.mk. The default values should work for most people.
55
66To install, type 'make'. This will install everything using cabal and
7−typecheck the libraries.
7+typecheck the libraries.
8+
9+To run the tests, type 'make test' which will execute the test suite, and
10+'make relib', which will typecheck and recompile the standard library.