From 2c0a6696a99407cd72b945bb270937dfe130bd48 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 14 Oct 2014 17:21:39 -0700
Subject: 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.)
---
 Readme | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'Readme')

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
-- 
cgit 1.4.1-2-gfad0