From a062fcd44494bebf35ecdf238365f43a8b72732e Mon Sep 17 00:00:00 2001
From: InversionSpaces <InversionSpaces@vivaldi.net>
Date: Thu, 21 Dec 2023 14:29:37 +0100
Subject: [PATCH] Remove binary.aqua (#71)

---
 binary.aqua | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 binary.aqua

diff --git a/binary.aqua b/binary.aqua
deleted file mode 100644
index 701a764..0000000
--- a/binary.aqua
+++ /dev/null
@@ -1,25 +0,0 @@
--- 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!