repos
/
INblobs
/ headblob
summary
|
shortlog
|
log
|
tree
|
annotate
|
headblob
|
filehistory
plain
/
examples
/
/examples/add from Calculus for interacction nets.txt
1
/* Automatically generated by INBlobs */
2
3
agents
4
5
Add 2;
6
S 1;
7
Z 0;
8
9
rules
10
11
Add(S(a), c) >< S(Add(a, c));
12
Add(a, a) >< Z;
13
14
net
15
16
Add(b, Z) = S(Z);
17
18
interface
19
20
b;
21
22
23
end