Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• d19f39fa18 additional cast from AoC main 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
• be40c431fe Add error when a constructor is used for a primitive argument. Steve Dunham 2025-10-06 15:20:44 -07:00
• 207d7afecf JS package cleanup Steve Dunham 2025-10-06 15:08:53 -07:00
• 8cfe91343e Lambda lifting (for non-javascript backends) Steve Dunham 2025-10-06 15:08:36 -07:00
• fc987a6f11 cleanup Steve Dunham 2025-10-04 18:11:24 -07:00
• 8209d2d839 Use numbers for constructor tags. Steve Dunham 2025-10-04 14:41:48 -07:00
• f1e6f98c99 Combinatory checks now, probably from fixes to eval Steve Dunham 2025-10-03 08:54:55 -07:00
• 404b64a06e npm audit fix Steve Dunham 2025-09-29 12:43:43 -07:00
• 495ed78c80 Use 1-based row/column in error messages Steve Dunham 2025-09-29 12:42:13 -07:00
• bab25f8dce cleanup TODO.md a little Steve Dunham 2025-09-29 11:59:57 -07:00
• f3a5e9012c Remove original Idris version of newt. Steve Dunham 2025-09-29 11:59:13 -07:00
• a53c5b4fba cleanup Steve Dunham 2025-09-29 10:50:22 -07:00
• 36d9f81f61 move inline/substMeta to compile step Steve Dunham 2025-09-23 20:43:46 -07:00
• 3143fa7b0a More inlining, fix issues in eval of case Steve Dunham 2025-09-23 20:22:50 -07:00
• cc7d8b4968 int add becomes + Steve Dunham 2025-09-20 19:58:39 -07:00
• 49c90cce6d inline "simple" functions and inline after app in inline Steve Dunham 2025-09-20 17:21:19 -07:00
• de71ea2f26 Initial implementation of inlining Steve Dunham 2025-09-20 10:54:54 -07:00
• 97c50a254a the "mode" argument to eval was unused and not fully propagated Steve Dunham 2025-09-02 21:10:32 -07:00
• a3801b8ba0 Remove some unnecessary assignments from codegen Steve Dunham 2025-09-01 16:21:43 -07:00
• 1432316fac SortedMap uses any comparator Steve Dunham 2025-09-01 15:39:35 -07:00
• 27d9250d34 Fix build of newt3.js Steve Dunham 2025-09-01 12:05:58 -07:00
• f90d171598 improve QName comparison time Steve Dunham 2025-08-29 11:08:34 -07:00
• 33a4cf6070 Fix issue building newt Steve Dunham 2025-08-28 21:24:29 -07:00
• fcee117260 [ libs ] move prelude file to src Steve Dunham 2025-07-27 15:00:24 -07:00
• 0c72d690e3 [ libs ] add DecEq to Prelude Steve Dunham 2025-07-27 14:57:21 -07:00
• bcf34c0941 [ auto ] try autos if a meta in their type is solved Steve Dunham 2025-07-27 14:50:37 -07:00
• ff23deb825 [ fix ] error messages mangled by Idris to Newt translation Steve Dunham 2025-07-27 14:29:14 -07:00
• a79f92793b [ fix ] solve autos in data declarations Steve Dunham 2025-07-26 08:09:46 -07:00
• 0e110cd14f [ unify ] unify literals correctly Steve Dunham 2025-07-26 07:24:38 -07:00
• 2d53976602 [ cleanup ] dead code Steve Dunham 2025-07-26 07:23:48 -07:00
• 1bdac27097 [ codegen ] PiType no longer hard-coded JS Steve Dunham 2025-07-26 07:23:16 -07:00
• 43c06e7377 [ cleanup ] consistent arrows in prelude Steve Dunham 2025-07-26 07:20:09 -07:00
• bfaaec867e [ play ] improvements to unicode completion Steve Dunham 2025-07-26 07:17:31 -07:00
• 8386331752 playground improvements Steve Dunham 2025-07-24 20:11:45 -07:00
• 800cec28de cleanup Steve Dunham 2025-07-18 20:47:45 -04:00
• bb2ae861b3 Playground enhancements Steve Dunham 2025-07-15 19:58:58 -04:00
• 3289c95e6a remove dead files, update bootstrap Steve Dunham 2025-07-10 22:28:20 -04:00
• 8569c9c304 improvements to editors Steve Dunham 2025-07-10 21:35:48 -04:00
• 9bd9ab21b6 fix env (should have used an index...) Steve Dunham 2025-07-10 13:43:57 -04:00
• cee1519b8e Improvements to playground editor Steve Dunham 2025-06-27 21:31:35 -07:00
• 5743eb39ea Fix some strings that were messed up by the initial Idris -> Newt perl code Steve Dunham 2025-06-27 21:29:12 -07:00
• 67d1e54ffb Seperate CAppRef constructor for top level apps Steve Dunham 2025-06-24 20:59:36 -07:00
• a3137319bb remove lezer code Steve Dunham 2025-06-17 18:14:00 -07:00
• 64652edf4b remove monaco, add input method to codemirror Steve Dunham 2025-06-17 17:32:12 -07:00
• e167d7e629 switch to codemirror Steve Dunham 2025-06-17 11:48:01 -07:00