Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
Go to file
Kartik K. Agaram 0832cc89dc 85 - trace testing ahoy (http://akkartik.name/post/tracing-tests) 2014-08-28 19:53:41 -07:00
Readme 49 - make Readme less ambiguous 2014-08-18 10:23:24 -07:00
mu.arc 85 - trace testing ahoy (http://akkartik.name/post/tracing-tests) 2014-08-28 19:53:41 -07:00
mu.arc.t 84 2014-08-28 19:23:38 -07:00
sys.arc 81 - reify machine state into a 'context' variable 2014-08-28 14:55:10 -07:00
sys.arc.t 73 2014-08-23 10:17:33 -07:00
x.mu 49 - make Readme less ambiguous 2014-08-18 10:23:24 -07:00

Readme

== Installing
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