# paradise calculus? -rw-r--r-- 633 bytes View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
0                ;; parent
0/1              ;; parent/self
/0               ;; parent/self(omitted parent)
/0,1             ;; parent/self,sibling(omitted parent)
0/1/2            ;; parent/self/first-child
//0              ;; parent/self/first-child(omitted parent and self)
//0,0            ;; two children are the same(teapot,teapot)
/0/0             ;; self and first child is the same(teapot/teapot)

/0 /0,name         ;; Create name
/0,name /0         ;; Destroy name
0/1,name 0/name/1  ;; enter name
0/1,name 0/1/name  ;; take name
0/1/name 0/1,name  ;; drop name
0/1,name 0/name,1  ;; become name
0/1 0,1            ;; leave