8 type Boolean = true | false
9 type Int32 = Bit[32] | oob
10 type Int64 = Bit[64] | oob
11 type Pointer = Bit[64]
12 type CodeBag = Pointer
15 ship Adder3 (a b c -> d e f)
23 input transparent : Boolean!
24 output data_out : Int32
28 transparent(true) => keeper = data_in
29 transparent(false) => keeper = keeper
46 A single-clock synchronous system is therefore a system with only a single variable of event type. A synchronous sytem with mu
49 // how do you specify the initial state of keeper nodes?
59 Action = Action "," Action
63 Identifier ::= Id | "(" Sym ")"
65 Definition ::= Identifier "=" Body /ws
70 random number generator
77 // positioning of elements on the screen (psuedo-comment?)
81 Parameter ::= Identifier (":" Type)?
84 andgate {a b}->{c d} =
98 and, xor, 2:1mux, 4:1mux