gdritter repos documents / 8e1799b
some small changes Getty Ritter 10 years ago
1 changed file(s) with 3 addition(s) and 3 deletion(s). Collapse all Expand all
+3
-3
scraps/cbpv-syntax less more
1 V ::= [C] | 0 | V + V' | 1 | V * V'
2 C ::= {V} | V -> C | top | C & C'
1 -- V ::= [C] | 0 | V + V' | 1 | V * V'
2 -- C ::= {V} | V -> C | top | C & C'
33
44 neg : [ int -> {int} ]
55 add : [ int -> int -> {int} ]
3939
4040 ones : Stream Int
4141 ones = rec this
42 this.head <- [1]
42 this.head <- {1}
4343 this.tail <- this