Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• d36f6ddacb Add missing import in vscode, fix add missing cases at EOF main Steve Dunham 2026-02-07 22:23:45 -08:00
• 83e4adb45b update bootstrap Steve Dunham 2026-02-07 16:57:23 -08:00
• bca61f95a0 Improve error locations Steve Dunham 2026-02-07 16:55:33 -08:00
• d1729afea7 extension now names the file for external errors Steve Dunham 2026-02-07 16:36:30 -08:00
• 2766a4ae01 Unsolved metas are errors Steve Dunham 2026-02-07 16:19:03 -08:00
• fca22a9828 update bootstrap Steve Dunham 2026-02-07 11:05:30 -08:00
• 00296f4d10 Allow local names to override imports Steve Dunham 2026-02-07 11:02:51 -08:00
• 0c206a94ab Forward declaration syntax for data Steve Dunham 2026-02-07 07:52:00 -08:00
• 79ab29f090 update bootstrap Steve Dunham 2026-02-06 21:14:17 -08:00
• 9249c4c641 Invalidate on :load Steve Dunham 2026-02-04 20:56:58 -08:00
• d803af10aa Add Foldable class Steve Dunham 2026-01-31 16:29:16 -08:00
• c3e70c9ecc operator sections Steve Dunham 2026-01-31 13:21:23 -08:00
• eed5c09508 Minor changes Steve Dunham 2026-01-31 12:52:01 -08:00
• f3a18fa658 Fix stray skolem issue Steve Dunham 2026-01-31 12:37:26 -08:00
• 56821c1711 Add some stray files Steve Dunham 2026-01-23 12:00:00 -08:00
• 84c4008724 check in test from dependent record fix Steve Dunham 2026-01-23 08:53:49 -08:00
• 3dd9955533 Postpone non-linear solutions Steve Dunham 2026-01-23 08:49:30 -08:00
• b32f345f55 aoc2025 test script Steve Dunham 2026-01-20 17:39:05 -08:00
• b653a37d2c update bootstrap file Steve Dunham 2026-01-18 22:04:24 -08:00
• 43401156eb Fix error in parser combinator Steve Dunham 2026-01-18 22:03:34 -08:00
• 28a0d461f1 temporary favicon Steve Dunham 2026-01-16 20:10:46 -08:00
• f19a758d25 TODO.md updates Steve Dunham 2026-01-16 10:40:04 -08:00
• 77a052ca98 remove unused fatal flag in parser Steve Dunham 2026-01-16 10:39:31 -08:00
• a21dd2fd94 fix issue with try in parser, improve parse error message Steve Dunham 2026-01-16 10:30:41 -08:00
• 997adfd04c handle icons differently in playground Steve Dunham 2026-01-11 09:37:58 -08:00
• e80f0e2ba7 github icon in playground Steve Dunham 2026-01-10 20:27:53 -08:00
• 61f82a9d5d Add REPL Steve Dunham 2026-01-08 21:47:58 -08:00
• 4c058bfb77 update preact (npm audit) Steve Dunham 2026-01-07 16:00:17 -08:00
• 87dbf210e0 update bootstrap file Steve Dunham 2026-01-06 10:25:09 -08:00
• 31cc891046 names from types on add missing cases Steve Dunham 2026-01-05 21:25:55 -08:00
• 2ca43b6350 Dependent records Steve Dunham 2026-01-05 20:52:35 -08:00
• 80b0faf9c4 updates to tour Steve Dunham 2026-01-05 20:30:18 -08:00
• 6eb72cffd8 fix add missing cases in vscode Steve Dunham 2026-01-05 20:29:58 -08:00
• c56270c183 Track module dependencies Steve Dunham 2025-12-31 21:30:05 -08:00
• bfe79d65ea remove redundant $ Steve Dunham 2025-12-30 22:00:27 -08:00
• 0dfa96cb5e use new case syntax instead of the Steve Dunham 2025-12-29 10:48:22 -08:00
• 9e69708c1c update bootstrap Steve Dunham 2025-12-29 10:35:33 -08:00
• 71b0e3af92 updates for prelude changes Steve Dunham 2025-12-29 10:34:47 -08:00
• f4d1e86319 Optional type annotation on case scrutinee Steve Dunham 2025-12-29 10:24:15 -08:00
• 7d262d9930 aoc2025 - add missing file, update for Prelude change Steve Dunham 2025-12-29 10:22:39 -08:00
• 223b1563a9 pattern matching can dot with applied vars Steve Dunham 2025-12-29 09:51:30 -08:00
• 3abd18ce48 updates to playground help/comments Steve Dunham 2025-12-29 09:49:07 -08:00
• 391b9092b4 highlight js and improve appearance in playground Steve Dunham 2025-12-28 12:08:10 -08:00
• 70348f3e5d Show Either Steve Dunham 2025-12-26 19:52:18 -08:00
• d19f39fa18 additional cast from AoC Steve Dunham 2025-12-26 13:02:27 -08:00
• 9bbc7208d7 Surface erasure errors in editor, fix issue checking erasure after inlining Steve Dunham 2025-12-26 13:00:53 -08:00
• 2137e102e7 Day 12 Steve Dunham 2025-12-17 21:04:15 -08:00
• 02ea9dad95 Day 10 (z3 version) Steve Dunham 2025-12-17 19:56:01 -08:00
• 6590efa91c top.errors doesn't need to be an IORef Steve Dunham 2025-12-17 09:35:08 -08:00
• a824b1403b playground markdown tweaks Steve Dunham 2025-12-17 09:31:27 -08:00
• e871ede85f Library additions from AoC Steve Dunham 2025-12-16 20:09:46 -08:00
• fe3e25f009 AoC todos and tweaks Steve Dunham 2025-12-13 14:51:26 -08:00
• c938a2e3cd Day 11 Steve Dunham 2025-12-10 22:05:52 -08:00
• ef37956f3b Day 9 - don't bother with qsort Steve Dunham 2025-12-09 09:26:24 -08:00
• c2537f08b0 Day 9 Steve Dunham 2025-12-09 09:06:50 -08:00
• 55e9476607 Change Show for List to include brackets Steve Dunham 2025-12-08 08:25:01 -08:00
• 6c836a6ef4 Day 8 Steve Dunham 2025-12-08 08:07:44 -08:00
• a9c588be76 Day 7 Steve Dunham 2025-12-06 22:32:44 -08:00
• 5bd3572ba4 playground auto layout on size, icon changes Steve Dunham 2025-12-06 21:00:37 -08:00
• 3ed189825b Day 6 Steve Dunham 2025-12-05 22:46:16 -08:00
• e810337cf2 Day 5 Steve Dunham 2025-12-04 22:51:58 -08:00
• 7de34da379 Day 4 Steve Dunham 2025-12-03 22:10:19 -08:00
• dabc82ff1a try linking to folders in readme Steve Dunham 2025-12-03 11:52:27 -08:00
• 06a1c2ff51 Day3 Steve Dunham 2025-12-02 22:17:20 -08:00
• 4604dad962 Day2 - use numbers Steve Dunham 2025-12-02 08:22:53 -08:00
• a42bb8d49c Day2, don't accumulate lists Steve Dunham 2025-12-01 22:38:54 -08:00
• 085c5ba329 AoC 2025 Day2 Steve Dunham 2025-12-01 22:23:16 -08:00
• 940d1ae8b1 AoC 2025 - Day 1 Steve Dunham 2025-12-01 08:46:49 -08:00
• aa0a12f402 remove old files Steve Dunham 2025-11-25 17:03:29 -08:00
• f62dd1c112 update dependencies Steve Dunham 2025-11-18 08:19:43 -08:00
• 30ff87c2e2 log issue Steve Dunham 2025-11-17 09:34:13 -08:00
• f04813519c update dependencies Steve Dunham 2025-11-15 14:19:23 -08:00
• 75716091af Update Combinatory.newt, fix parse error Steve Dunham 2025-11-15 14:18:12 -08:00
• acb240db3f update bootstrap Steve Dunham 2025-11-14 21:47:36 -08:00
• 63687499dc check impossible clauses Steve Dunham 2025-11-14 21:45:19 -08:00
• 79113fbce5 add impossible clauses (not checked yet) Steve Dunham 2025-11-14 10:53:35 -08:00
• a0bab1cf5c update serializer.ts to work with current object formats Steve Dunham 2025-11-13 10:36:55 -08:00
• 2853de310b add some missing files, clean up a little Steve Dunham 2025-11-10 22:28:32 -08:00
• d2e4664fc8 npm audit Steve Dunham 2025-11-05 09:02:50 -08:00
• e8b00ad680 Updates to highlighting in playground Steve Dunham 2025-11-05 08:04:23 -08:00
• 1b0aeb1eac change domain Steve Dunham 2025-11-01 08:14:57 -07:00
• d763be55d4 Update LiftLambda to erase Zero args Steve Dunham 2025-10-26 09:40:41 -07:00
• 7055874dbb Remove old aoc2023 directory Steve Dunham 2025-10-25 13:32:30 -07:00
• 551e31d589 Fix issue when multiple constructors are defined on one line. Update aoc2024 tests to not use debugStr. Steve Dunham 2025-10-24 14:50:26 -07:00
• 8aee58c23b erase arts in lifted where functions Steve Dunham 2025-10-24 11:09:57 -07:00
• 11ffd96a91 Remove erased function arguments Steve Dunham 2025-10-23 22:29:04 -07:00
• e9a02d30a5 update bootstrap Steve Dunham 2025-10-20 15:23:14 -07:00
• 6a4da51e8a use if/then/else for some constructor cases Steve Dunham 2025-10-20 15:22:00 -07:00
• 15b892510e Map Bool-shaped things to javascript bool, add if/then and tertiary to code gen Steve Dunham 2025-10-20 11:08:12 -07:00
• e45d194d7f recheck file when switching editors in vscode Steve Dunham 2025-10-11 22:03:11 -07:00
• f16c3d87e4 update bootstrap Steve Dunham 2025-10-11 21:48:50 -07:00
• 2794f8fe85 Cleanup some old comments, use record update a bit more Steve Dunham 2025-10-11 21:45:26 -07:00
• ddc73fb41a Change Show FC format to match vscode's expectation Steve Dunham 2025-10-11 16:36:23 -07:00
• c39d1354c8 Primitive "Add missing cases" for vscode Steve Dunham 2025-10-11 13:17:44 -07:00
• 746e1eedca update bootstrap file Steve Dunham 2025-10-10 16:26:49 -07:00
• 2af6ef1c1b File locations are now ranges. Steve Dunham 2025-10-10 16:26:03 -07:00
• 6b9da23478 smarter completion (via context) Steve Dunham 2025-10-10 10:36:44 -07:00
• b014e8d3e6 less noisy file errors Steve Dunham 2025-10-10 10:36:22 -07:00
• 2a5e5ae4f5 add error for stray, incorrect constructors Steve Dunham 2025-10-10 09:03:25 -07:00
• 78b9f958de refresh bootstrap Steve Dunham 2025-10-06 15:22:12 -07:00