diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2014-11-29 07:52:08 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2014-11-29 07:52:08 -0800 |
commit | 6bf34cf3ec3edb237b521180f5631b923fe0e6b3 (patch) | |
tree | 8504edf211a1586fe0a1d294a7e7e31726196c89 /Readme.md | |
parent | 028ef4a49219ec1ed85596c8c358d3378298436a (diff) | |
download | mu-6bf34cf3ec3edb237b521180f5631b923fe0e6b3.tar.gz |
385
Diffstat (limited to 'Readme.md')
-rw-r--r-- | Readme.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Readme.md b/Readme.md index cf7388cd..2df1e355 100644 --- a/Readme.md +++ b/Readme.md @@ -1,4 +1,4 @@ -## Mu: making programs easier to understand in the large +**Mu: making programs easier to understand in the large** Imagine a world where you can: @@ -56,7 +56,7 @@ unit of comprehension. If I'm right, it makes sense to prioritize the right *tactile* interface for working with and getting feedback on large programs before we invest in the *visual* tools for making them concise. -## Taking mu for a spin +**Taking mu for a spin** Prerequisites: Racket from http://racket-lang.org @@ -217,7 +217,7 @@ into reproducible tests by flagging inputs entering the log and outputs leaving it. The former will have to be faked in, and the latter will want to be asserted on, to turn a trace into a test. -## Credits +**Credits** Mu builds on many ideas that have come before, especially: |