From 2b3187a41655279fa47629f8c97b06de5b1b57b8 Mon Sep 17 00:00:00 2001
From: Andrew Ekstedt <andrew.ekstedt@gmail.com>
Date: Sun, 4 Dec 2022 22:10:16 -0800
Subject: [PATCH] add some comments

---
 day04/sol.ivy | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/day04/sol.ivy b/day04/sol.ivy
index a4488df..48310ab 100644
--- a/day04/sol.ivy
+++ b/day04/sol.ivy
@@ -8,10 +8,10 @@ op r contains s = (r[1] <= s[1]) and (s[2] <= r[2])
 op contains x = (x[1 2] contains x[3 4]) or (x[3 4] contains x[1 2])
 op overlaps x = (x[1 2] overlaps x[3 4])
 
-#1 3 overlaps 4 5
-#1 5 overlaps 2 7
-#contains 1 2 3 4
-#contains 5 10 7 8
+#1 3 overlaps 4 5  # -> 0
+#1 5 overlaps 2 7  # -> 1
+#contains 1 2 3 4  # -> 0
+#contains 5 10 7 8 # -> 1
 
 +/ contains transp sample
 +/ contains transp input