@@ -4,4 +4,7 @@ language with dependent types.
4To configure, edit config.mk. The default values should work for most people.
4To configure, edit config.mk. The default values should work for most people.
6To install, type 'make'. This will install everything using cabal and
6To install, type 'make'. This will install everything using cabal and
7−typecheck the libraries.
7+typecheck the libraries.
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.