145 - delete random programs

They need a type table to work, but I'm keeping type tables next to
the tests.

Everything needs to be a test from now on.

(But first some fixes to the terminal primitives.)

1 files changed, 0 insertions, 11 deletions

diff --git a/Readme b/Readme
index 614b6058..8b554d50 100644
--- a/Readme
+++ b/Readme
@@ -4,15 +4,4 @@ Prerequisites: Racket from http://racket-lang.org
 $ cd mu
 $ git clone http://github.com/arclanguage/anarki
 
-$ cat x.mu
-(main
-  ((x integer) <- literal 1)
-  ((y integer) <- literal 3)
-  ((z integer) <- add (x integer) (y integer))
-)
-
-$ ./anarki/arc mu.arc x.mu
-hash((x . 1) (y . 3) (z . 4))  # state of simulated memory after executing x.mu
-# location z contains the sum of locations x and y
-
 $ ./anark/arc mu.arc.t  # automated tests; start reading here