diff --git a/mini2.z3 b/mini2.z3 index 7e548dc..a32682f 100644 Binary files a/mini2.z3 and b/mini2.z3 differ diff --git a/misc.zil b/misc.zil index 54ed0ee..f17022b 100644 --- a/misc.zil +++ b/misc.zil @@ -342,6 +342,14 @@ +> + >)> + > + > +> + % ') (I <>) "AUX" V OA OO OI) @@ -375,7 +383,7 @@ >> .V) ( ,P?ACTION> ,M-BEG>> .V) - (>> .V) + (>> .V) (>>> .V) (> @@ -429,7 +437,7 @@ ,P?ACTION> ,M-BEG>> .V) (>> .V) + >> .V) (>>> .V) (