Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 363f85710f add comments, fix fc on an error, add constructor for U Steve Dunham 2025-01-10 21:03:20 -08:00
• 2cdeb2721c Improve auto solving - 30% faster and hopefully proper errors if a type mismatch is blocking it. Steve Dunham 2025-01-07 20:59:59 -08:00
• 7110c94ac6 determine base path Steve Dunham 2025-01-06 17:02:21 -08:00
• 265a81257a cleanup a little bit Steve Dunham 2025-01-06 16:28:40 -08:00
• 627ca5d91b Aoc passes, and it successfully compiles itself. Steve Dunham 2025-01-05 13:56:38 -08:00
• 9172d88be7 put the port in the port directory Steve Dunham 2025-01-05 11:15:29 -08:00
• 9262fa8b27 Fix parsing and rendering issues, all but 3 of aoc2024 work. Steve Dunham 2025-01-05 11:08:42 -08:00
• 0dbc5d5ee7 port compiles hello world Steve Dunham 2025-01-04 21:07:25 -08:00
• 6b1eef86a7 Newt in Newt compiles (but does not run) Steve Dunham 2025-01-04 09:26:33 -08:00
• 46434cc555 Port Eval.newt Steve Dunham 2025-01-03 22:49:07 -08:00
• b87999a64d More porting. Parser is working now. Some improvements have been made to auto resolution Steve Dunham 2025-01-03 21:57:15 -08:00
• 5a6dcdb92b try solving autos when a related constraint is added Steve Dunham 2025-01-02 22:44:17 -08:00
• 591608eece update aoc2024 for record changes Steve Dunham 2025-01-02 22:38:15 -08:00
• 30cc85ca0e move auto solver to elab Steve Dunham 2025-01-02 13:48:16 -08:00
• e41e1d8f6a porting WIP Steve Dunham 2025-01-01 20:24:53 -08:00
• 9ed2b2077d fixes and changes for porting Steve Dunham 2025-01-01 20:21:07 -08:00
• 39be411c37 Add newt highlighting for markdown files Steve Dunham 2025-01-01 11:27:53 -08:00
• 669670d68c Add projections for records Steve Dunham 2025-01-01 11:27:41 -08:00
• 4dec53daa1 additional changes for porting, fix to lexing Steve Dunham 2025-01-01 08:46:25 -08:00
• b993425803 fix string escapes Steve Dunham 2024-12-31 23:55:07 -08:00
• 06893fe735 string interpolation Steve Dunham 2024-12-31 11:46:52 -08:00
• f4e96d06ec changes to support translation Steve Dunham 2024-12-30 22:34:03 -08:00
• 8c7f0616d2 fix type constructor quantities for short data decls Steve Dunham 2024-12-29 22:24:32 -08:00
• 57a8fe9609 prep for self-hosting Steve Dunham 2024-12-29 21:17:06 -08:00
• 6397cac18a refactor Ord to be based on compare Steve Dunham 2024-12-29 16:16:49 -08:00
• 413f95940f Replace monad stack with hard-coded monad Steve Dunham 2024-12-29 14:58:05 -08:00
• 747ab08dd6 remove external dependency for Token/WithBounds Steve Dunham 2024-12-29 14:04:22 -08:00
• 054a0675f4 fix importing with dots, prep work for porting Steve Dunham 2024-12-29 12:55:09 -08:00
• b92a45a7cf fix alternate tokenizer Steve Dunham 2024-12-28 22:28:40 -08:00
• 9a2eac0bd7 remove a Text.Parser dependency (about 10%), and alternate tokenizer Steve Dunham 2024-12-28 21:49:49 -08:00
• 23a95f70f5 add \case sugar and editor support. fix symlink Steve Dunham 2024-12-28 16:02:31 -08:00
• a6e68ac2a2 ability to run code and check output in tests Steve Dunham 2024-12-28 13:19:15 -08:00
• 95f90c8698 highlighting improvements Steve Dunham 2024-12-28 11:04:42 -08:00
• 3ec2f90770 sugar for data and other improvements Steve Dunham 2024-12-28 09:24:30 -08:00
• 0992dc1367 split up unify to simplify casetree, Steve Dunham 2024-12-27 16:38:50 -08:00
• d224099e4a more js keywords Steve Dunham 2024-12-27 16:00:35 -08:00
• 9655434b2a add namespaces to names Steve Dunham 2024-12-26 18:51:46 -08:00
• 9d90dd828e day25 Steve Dunham 2024-12-24 22:28:46 -08:00
• 93399af9b5 day24 Steve Dunham 2024-12-24 10:46:34 -08:00
• 4af72e57b8 day23 Steve Dunham 2024-12-23 08:57:38 -08:00
• 87c3554253 faster version of Day22 Steve Dunham 2024-12-22 20:01:50 -08:00
• ad2f29d0af improve already defined error messages Steve Dunham 2024-12-22 14:58:45 -08:00
• e0c75ff487 improvements to editor support Steve Dunham 2024-12-22 14:52:26 -08:00
• 90b8fd79ae day22 Steve Dunham 2024-12-21 22:07:47 -08:00
• 2c7c5eca55 monadic version of day21 Steve Dunham 2024-12-21 21:02:56 -08:00
• e396514899 day21 Steve Dunham 2024-12-21 14:29:46 -08:00
• 567a357dee Day20 Steve Dunham 2024-12-20 12:39:51 -08:00
• f2c6b409fe desugaring record implementation (TODO - dependency) Steve Dunham 2024-12-19 20:43:10 -08:00
• 4289c5c6e8 negative integers Steve Dunham 2024-12-19 16:36:59 -08:00
• edbf053f07 Day19 Steve Dunham 2024-12-19 08:00:12 -08:00
• 1a48c00951 day18 in playground Steve Dunham 2024-12-18 14:04:48 -08:00
• 6e8727c784 try to fix missing Aoc.newt in playground Steve Dunham 2024-12-18 14:00:59 -08:00
• 54b50f3761 day18 Steve Dunham 2024-12-17 22:28:45 -08:00
• 08cc2637f5 Address stack issues in playground, unicode input in playground, fixes to error recovery Steve Dunham 2024-12-17 20:44:39 -08:00
• 2f2a737f00 fix issue with dup names in output Steve Dunham 2024-12-17 16:17:51 -08:00
• f26beba5eb day17 Steve Dunham 2024-12-16 22:18:13 -08:00
• 1a05043922 Generic instances for tuples, error recovery, show details when multiple solutions Steve Dunham 2024-12-16 21:05:43 -08:00
• 4932103279 day16 Steve Dunham 2024-12-16 11:57:46 -08:00
• 6e487b011c day15 Steve Dunham 2024-12-14 22:27:03 -08:00
• d22f3844f6 At patterns on LHS Steve Dunham 2024-12-14 19:58:52 -08:00
• 00a8678bd4 dead code Steve Dunham 2024-12-14 13:29:02 -08:00
• c5368edbbf Day14, move stuff to libraries, aoc2024 -> samples, fix FC on an error Steve Dunham 2024-12-14 08:14:43 -08:00
• 29abacfa6c get delete, leftMost, rightMost, pop working for SortedMap Steve Dunham 2024-12-13 20:58:04 -08:00
• 62b4bc15c4 day13 Steve Dunham 2024-12-13 08:02:43 -08:00
• accbd23349 day12 Steve Dunham 2024-12-11 22:13:16 -08:00
• d326a4d99f alternate day11 with no strings Steve Dunham 2024-12-11 20:06:25 -08:00
• 45c4a2997c day11 Steve Dunham 2024-12-10 22:04:27 -08:00
• f9f29cd932 Day10 Steve Dunham 2024-12-09 22:43:26 -08:00
• 2f518a953d Day9 Steve Dunham 2024-12-09 16:53:32 -08:00
• d6aaaaabf1 refactoring in playground, use zip file for web Steve Dunham 2024-12-08 20:19:55 -08:00
• 0f5a909cce day8 Steve Dunham 2024-12-07 22:12:38 -08:00
• 9c0b20a6ce improve error detection in case-tree building Steve Dunham 2024-12-07 20:50:22 -08:00
• 6ba88713f1 fix CI Steve Dunham 2024-12-07 19:08:14 -08:00
• ba70845c09 modularize playground (prep for persistent/modular file handling) Steve Dunham 2024-12-07 16:58:10 -08:00
• 421f5ea208 add jump to def and type on hover for top level Steve Dunham 2024-12-07 12:23:47 -08:00
• 45390066ae day7 Steve Dunham 2024-12-06 21:41:08 -08:00
• 0c0b1668d7 fix erasure issues inside where clauses (add type to LetRec) Steve Dunham 2024-12-06 20:55:16 -08:00
• 8d8078f968 improvements to erasure checking Steve Dunham 2024-12-06 20:34:40 -08:00
• 3227bffaa6 Day6 Steve Dunham 2024-12-06 09:34:49 -08:00
• 3aa127c42b turn three crashes into proper errors Steve Dunham 2024-12-05 17:10:05 -08:00
• ccbd617671 Day5, add SortedMap Steve Dunham 2024-12-05 16:13:12 -08:00
• 21b03368d4 day4 Steve Dunham 2024-12-03 22:07:52 -08:00
• dbc5670a52 link prelude copies to same file Steve Dunham 2024-12-03 17:42:11 -08:00
• ee50677d4b add missing function, todo items Steve Dunham 2024-12-03 16:41:33 -08:00
• f573736b7f don't switch to empty console Steve Dunham 2024-12-03 16:41:33 -08:00
• 47657090c1 tweak to day3 Steve Dunham 2024-12-03 16:36:52 -08:00
• 4d67db9fe4 2024 day3, fix bug in prelude Steve Dunham 2024-12-02 22:34:53 -08:00
• ebaee19bcb work around worker stack issues in safari Steve Dunham 2024-12-02 21:03:18 -08:00
• 52bbb5aa65 Day2, prelude additions/fixes, better fc on do block errors Steve Dunham 2024-12-02 10:58:10 -08:00
• 5c56458b6b Fill in more prelude, 2024d1 Steve Dunham 2024-11-30 21:46:36 -08:00
• 53a0f96207 Day6 and let identifiers contain ? Steve Dunham 2024-11-30 17:07:49 -08:00
• 71cf4f39f5 Make $ special Steve Dunham 2024-11-30 15:51:06 -08:00
• d2bbf681ea destructuring lets and arrows Steve Dunham 2024-11-30 15:07:54 -08:00
• 067293ea85 Day5 Steve Dunham 2024-11-30 11:50:24 -08:00
• d5a4d6253f port aoc2023 day4 Steve Dunham 2024-11-30 10:27:06 -08:00
• baeaf4295d Day3 working Steve Dunham 2024-11-29 22:10:43 -08:00
• 18e44cb7d3 Improvements to erasure checking, fix to codegen issue Steve Dunham 2024-11-29 10:02:45 -08:00
• 052bab81cb remove main from Tour.newt since it is no longer required Steve Dunham 2024-11-27 10:14:39 -08:00
• 370fc8e0aa Add filenames to FC, relocate errors from other files in playground/vscode Steve Dunham 2024-11-27 09:57:22 -08:00
• a8363c7a45 Async, HasIO, and get aoc examples working in web Steve Dunham 2024-11-26 20:05:25 -08:00