Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 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
• e2db5a77df tweaks to playground samples Steve Dunham 2024-11-26 17:04:00 -08:00
• d4bcbc5949 primitive erasure implementation, dead code elimination Steve Dunham 2024-11-26 14:08:57 -08:00
• e265248b11 change syntax for javascript code literals Steve Dunham 2024-11-25 21:53:23 -08:00
• 07cbeec6cc add quantity to parser Steve Dunham 2024-11-25 21:12:13 -08:00
• da1cbd2ce6 support dark mode Steve Dunham 2024-11-25 16:25:55 -08:00
• 6f954b1183 tweaks to playground files Steve Dunham 2024-11-25 16:25:05 -08:00
• acb37a2882 Only log metas for top file, remove metas from Context Steve Dunham 2024-11-23 17:48:03 -08:00
• a809ad1975 remove node dependencies from Prelude.newt Steve Dunham 2024-11-23 16:23:37 -08:00
• 5cbe594993 merge aoc lib and prelude Steve Dunham 2024-11-23 15:08:49 -08:00
• dda0bf6fb9 playground: add ability to run code Steve Dunham 2024-11-23 10:21:09 -08:00
• affae1fecf Allow where defs to refer to themselves Steve Dunham 2024-11-20 19:51:25 -08:00
• 7c8c0c9df0 keep newt.js separate in playground Steve Dunham 2024-11-20 19:45:32 -08:00
• 1a9d44434c first pass at where clauses Steve Dunham 2024-11-19 22:40:52 -08:00
• c665310653 Address issues with unify's case tree in idris Steve Dunham 2024-11-19 20:50:52 -08:00
• 9b19c569c9 sugar in samples Steve Dunham 2024-11-19 05:35:14 -08:00
• 6b36dd1cd1 First pass at sugar for instances. Steve Dunham 2024-11-17 08:57:26 -08:00
• fac34e729c add sugar for typeclass Steve Dunham 2024-11-16 21:08:01 -08:00
• 454dccaa72 add sugar for if/then/else Steve Dunham 2024-11-16 15:49:27 -08:00
• b185065fb0 Port Prettier.idr to newt Steve Dunham 2024-11-16 12:01:48 -08:00
• 26119be8b6 update readme Steve Dunham 2024-11-15 21:16:32 -08:00
• 9767d92952 more tweaks to pretty printing. Steve Dunham 2024-11-15 19:13:42 -08:00
• 9faee86886 tweaks to output, fix scope issue in pprint Steve Dunham 2024-11-15 16:49:31 -08:00
• e6944bc842 Add example from youtube, allow unicode type names Steve Dunham 2024-11-14 20:49:18 -08:00
• 60abe813dc better names on solutions Steve Dunham 2024-11-14 16:28:40 -08:00
• a186c15477 suppress closure env in printing Steve Dunham 2024-11-13 22:03:00 -08:00
• f80fc9c0ff check for shadowed names at top level Steve Dunham 2024-11-13 21:54:00 -08:00
• 0589a30d40 Address a few issues in Combinatory.newt Steve Dunham 2024-11-13 20:21:33 -08:00
• 9e72ed67fc refactoring Steve Dunham 2024-11-12 05:34:51 -08:00
• 91bb79a998 Mixfix operators Steve Dunham 2024-11-09 22:11:58 -08:00
• 6abd97ee85 Improvements to grammar Steve Dunham 2024-11-09 21:39:45 -08:00
• bb749a917a forall / ∀ syntactic sugar Steve Dunham 2024-11-09 20:14:49 -08:00
• c6cbb13eb7 add comments to Lists.newt Steve Dunham 2024-11-09 17:18:14 -08:00
• d4b446d122 styling fixes for iphone Steve Dunham 2024-11-09 16:11:41 -08:00
• 2857321b39 Fill in a little more of the PLFA Lists example Steve Dunham 2024-11-09 16:00:38 -08:00
• 69693a4995 defer skolem issue from unsolved meta application Steve Dunham 2024-11-09 14:39:07 -08:00
• e814ebfb02 vertical orientation for phones Steve Dunham 2024-11-09 11:26:42 -08:00
• 3daf6b4dc2 add list concat sample Steve Dunham 2024-11-09 10:01:50 -08:00
• bbd4832671 printing improvements, improve case eval Steve Dunham 2024-11-09 09:34:37 -08:00
• 778ac056f1 update web on push Steve Dunham 2024-11-08 22:05:24 -08:00
• bd51c8352a expand scrutinee in eval Steve Dunham 2024-11-08 20:44:02 -08:00
• adc967c464 tweaks to playground Steve Dunham 2024-11-08 19:50:26 -08:00
• ed44d427cd deploy to pages Steve Dunham 2024-11-07 22:42:49 -08:00
• f0c9e3bf63 Add Tour.newt sample and make it the default. Steve Dunham 2024-11-07 21:05:05 -08:00
• 24ab6aa212 add samples to playground Steve Dunham 2024-11-06 22:06:31 -08:00
• eb1388caa8 change {A} to mean {_ : A} instead of {A : _} Steve Dunham 2024-11-06 21:10:05 -08:00
• 375c16f4fd Search includes scope, tweak to code formatting Steve Dunham 2024-11-06 20:53:44 -08:00
• de5f9379d9 playground improvements Steve Dunham 2024-11-06 20:51:57 -08:00
• d82c224bc3 address overflow in Prettier, Steve Dunham 2024-11-06 06:59:23 -08:00
• 0a6807831c switch to preact Steve Dunham 2024-11-05 20:57:30 -08:00
• ae5a79e151 move newt to web worker Steve Dunham 2024-11-05 20:20:20 -08:00
• 182876d16b Playground highlights and shows info/errors from build Steve Dunham 2024-11-05 13:44:16 -08:00