Revert "Remove binary.aqua (#71)" (#73)

This reverts commit a062fcd.
fluencelabs · Dec 21, 2023 · e3c06bf · e3c06bf
1 parent 3b31da9
commit e3c06bf
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/binary.aqua b/binary.aqua
@@ -0,0 +1,25 @@
+-- TODO: add aqua tests
+
+func and(l: bool, r: bool) -> bool:
+    res: ?bool
+    if l:
+        res <<- r
+    else:
+        res <<- false
+    <- res!
+
+func or(l: bool, r: bool) -> bool:
+    res: ?bool
+    if l:
+        res <<- true
+    else:
+        res <<- r
+    <- res!
+
+func not(u: bool) -> bool:
+    res: ?bool
+    if u:
+        res <<- false
+    else:
+        res <<- true
+    <- res!