equal
deleted
inserted
replaced
80 "LAM <x,y,zs>.b" == "csplit`(LAM x.LAM <y,zs>.b)" |
80 "LAM <x,y,zs>.b" == "csplit`(LAM x.LAM <y,zs>.b)" |
81 "LAM <x,y>.b" == "csplit`(LAM x.LAM y.b)" |
81 "LAM <x,y>.b" == "csplit`(LAM x.LAM y.b)" |
82 (* reverse translation <= does not work yet !! *) |
82 (* reverse translation <= does not work yet !! *) |
83 |
83 |
84 (* start 8bit 1 *) |
84 (* start 8bit 1 *) |
85 translations |
|
86 "Let x = a in e" == "CLet`a`(¤ x.e)" |
|
87 |
|
88 (* end 8bit 1 *) |
85 (* end 8bit 1 *) |
89 end |
86 end |
90 |
87 |
91 |
88 |
92 |
89 |