dunham

0 Followers · 0 Following

• Joined on 2025-12-27

Repositories

1

Projects Packages Public Activity Starred Repositories

dunham pushed to main at dunham/newt 2025-12-27 01:30:46 +00:00

d19f39fa18 additional cast from AoC

9bbc7208d7 Surface erasure errors in editor, fix issue checking erasure after inlining

2137e102e7 Day 12

02ea9dad95 Day 10 (z3 version)

6590efa91c top.errors doesn't need to be an IORef

Compare 10 commits »

dunham created branch main in dunham/newt 2025-12-27 01:30:46 +00:00

dunham created repository dunham/newt 2025-12-27 01:29:31 +00:00