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 2026-02-08 07:15:29 +00:00
d36f6ddacb Add missing import in vscode, fix add missing cases at EOF
dunham pushed to main at dunham/newt 2026-02-08 04:18:09 +00:00
83e4adb45b update bootstrap
bca61f95a0 Improve error locations
d1729afea7 extension now names the file for external errors
2766a4ae01 Unsolved metas are errors
fca22a9828 update bootstrap
Compare 10 commits »
dunham pushed to main at dunham/newt 2026-01-31 21:21:59 +00:00
c3e70c9ecc operator sections
eed5c09508 Minor changes
f3a18fa658 Fix stray skolem issue
Compare 3 commits »
dunham pushed to main at dunham/newt 2026-01-24 17:13:16 +00:00
56821c1711 Add some stray files
84c4008724 check in test from dependent record fix
3dd9955533 Postpone non-linear solutions
b32f345f55 aoc2025 test script
b653a37d2c update bootstrap file
Compare 14 commits »
dunham pushed to main at dunham/newt 2026-01-06 18:25:26 +00:00
87dbf210e0 update bootstrap file
31cc891046 names from types on add missing cases
2ca43b6350 Dependent records
80b0faf9c4 updates to tour
6eb72cffd8 fix add missing cases in vscode
Compare 14 commits »
dunham pushed to main at dunham/newt 2025-12-28 20:08:22 +00:00
391b9092b4 highlight js and improve appearance in playground
dunham pushed to main at dunham/newt 2025-12-27 17:35:26 +00:00
dunham pushed to main at dunham/newt 2025-12-27 17:34:33 +00:00
d5218fa5dd experiment with gitea
dunham pushed to main at dunham/newt 2025-12-27 17:33:25 +00:00
3e3b0183b8 experiment with gitea
70348f3e5d Show Either
Compare 2 commits »
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