update aoc2024 for record changes

2025-01-02 22:38:15 -08:00
parent 30cc85ca0e
commit 591608eece
3 changed files with 21 additions and 9 deletions
--- a/aoc2024/Day24.newt
+++ b/aoc2024/Day24.newt
@@ -24,6 +24,18 @@ record Gate where
  op : Op
  out : String

+in1 : Gate → String
+in1 g = g.in1
+
+in2 : Gate → String
+in2 g = g.in2
+
+out : Gate → String
+out g = g.out
+
+op : Gate → Op
+op g = g.op
+
 Wire : U
 Wire = String × Int