From cbaf2f86274c102b4f3aa042d4ac9242c1793e22 Mon Sep 17 00:00:00 2001 From: David Christiansen Date: Mon, 25 Feb 2013 15:16:07 +0100 Subject: [PATCH] Added testing instructions to README --- README | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README b/README index ef4545711d..747e24043f 100644 --- 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. \ No newline at end of file