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!