Added testing instructions to README

miikka · Feb 25, 2013 · cbaf2f8 · cbaf2f8
1 parent f44e1d7
commit cbaf2f8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README b/README
@@ -4,4 +4,7 @@ language with dependent types.
 To configure, edit config.mk. The default values should work for most people.
 
 To install, type 'make'. This will install everything using cabal and
-typecheck the libraries. 
+typecheck the libraries.
+
+To run the tests, type 'make test' which will execute the test suite, and
+'make relib', which will typecheck and recompile the standard library.