dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

aoc2025 - add missing file, update for Prelude change

Browse Source
This commit is contained in:
Steve Dunham
2025-12-29 10:22:39 -08:00
parent 223b1563a9
commit 7d262d9930
3 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
aoc2025/Day10.newt
View File

@@ -8,10 +8,6 @@ import Data.Vect
import Data.Fin import Data.Fin
import Z3 import Z3
instance ∀ a b. {{Show a}} → {{Show b}} → Show (Either a b) where
show (Left a) = "Left \{show a}"
show (Right b) = "Right \{show b}"
record Machine where record Machine where
goal : Int goal : Int
buttons : List Int buttons : List Int

1
aoc2025/Day7.newt
View File

@@ -4,7 +4,6 @@ import Prelude
import Node import Node
import Aoc import Aoc
import Data.SortedMap import Data.SortedMap
import Monad.State
gridPoints : String → List (Char × Int × Int) gridPoints : String → List (Char × Int × Int)
gridPoints text = go 0 0 (unpack text) Nil gridPoints text = go 0 0 (unpack text) Nil

1
aoc2025/Monad Symbolic link
View File

@@ -0,0 +1 @@
../src/Monad