about summary refs log tree commit diff stats
path: root/Readme
diff options
context:
space:
mode:
Diffstat (limited to 'Readme')
-rw-r--r--Readme17
1 files changed, 15 insertions, 2 deletions
diff --git a/Readme b/Readme
index 167a0cb3..2d6a3f93 100644
--- a/Readme
+++ b/Readme
@@ -1,3 +1,16 @@
+Mu: a world where any manual test can be easily automated
+
+  keyboard input
+  printing to screen
+  disk filling up
+  performance metrics
+  race conditions
+  fault tolerance
+  ...
+
+Collecting all possible scenarios considered will hopefully make the global
+structure of programs more apparent. More details: http://akkartik.github.io/mu
+
 == Taking mu for a spin
 
 Prerequisites: Racket from http://racket-lang.org
@@ -34,5 +47,5 @@ Try running the tests:
   $ ./anark/arc mu.arc.t
   #t  # all tests passed!
 
-Now start reading mu.arc.t. The html rendering mu.arc.t.html might be easier
-to read in your browser.
+Now start reading mu.arc.t. A colorized copy of it is at mu.arc.t.html and
+http://akkartik.github.io/mu.