diff options
Diffstat (limited to 'Readme')
-rw-r--r-- | Readme | 17 |
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. |