Differences

This shows you the differences between two versions of the page.

--- intro_example:operators [2025/05/01 20:40] – rajit
+++ intro_example:operators [2025/05/07 18:34] (current) – rajit
@@ Line 31: / Line 31: @@
                [ neg & x.neg | ~neg & ~x.neg -> self.neg := neg; self.val := x.val + val
                [] else -> [ x.val > val -> self.val := x.val - val;  self.neg := x.neg
-                              [] else -> self.val := val - x.val; self.neg := neg
+                          [] else -> self.val := val - x.val; self.neg := neg
-                              ]
+                          ]
               ]
            }