Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 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
• f92d287909 Crude first pass at playground page Steve Dunham 2024-11-04 22:30:40 -08:00
• f225d0ecbd Print meta info for claims and data, update sample code Steve Dunham 2024-11-02 21:42:08 -07:00
• d09afd89e0 Fix issue in case eval Steve Dunham 2024-11-02 19:43:04 -08:00
• 6baee23a73 addZero now works Steve Dunham 2024-11-02 18:20:46 -08:00
• 6164893da5 Parsing updates for unicode Steve Dunham 2024-11-02 10:22:04 -07:00
• d41558c219 thinking about IO Steve Dunham 2024-10-31 22:17:22 -07:00
• a919799134 add list monad to tests Steve Dunham 2024-10-30 21:56:02 -07:00
• 91eec503d1 clean up some vscode noise from backtracking Steve Dunham 2024-10-30 21:39:26 -07:00
• 56e005d2dc misc cleanup Steve Dunham 2024-10-30 21:22:45 -07:00
• e6502abeed update docs and a test Steve Dunham 2024-10-30 08:21:33 -07:00
• 30648c8e9c do blocks seem to work now Steve Dunham 2024-10-29 21:21:53 -07:00
• b844d0b676 parsing and desugaring of do blocks. (Some inference issues remain.) Steve Dunham 2024-10-29 20:20:05 -07:00
• e8de2d4ccd Combine parser of app and operator Steve Dunham 2024-10-29 17:53:33 -07:00
• 0fb5b08598 Typeclass works for Monad Steve Dunham 2024-10-29 16:35:34 -07:00
• d96e23d954 this can be inferred Steve Dunham 2024-10-28 21:48:00 -07:00
• 16e6325df3 check for implicit Steve Dunham 2024-10-28 21:37:02 -07:00
• e54aced733 Make eval less aggressive about substitution Steve Dunham 2024-10-27 12:22:04 -07:00
• 95a4baf12d _+_ works with an Add typeclass now. Steve Dunham 2024-10-26 21:39:25 -07:00
• 44dd074a79 Finding simple autos after elab Steve Dunham 2024-10-26 20:41:28 -07:00
• 9535675191 cleanup Steve Dunham 2024-10-26 16:03:40 -07:00
• 3379e6ba3f escape some javascript keywords Steve Dunham 2024-10-26 08:02:57 -07:00
• e1ef6b5ee5 Preliminary work on autos Steve Dunham 2024-10-25 21:07:12 -07:00
• ec1f58a071 tell github to highlight .newt files Steve Dunham 2024-10-23 22:09:07 -07:00
• 8fe9613c02 additional syntactic sugar Steve Dunham 2024-10-23 21:41:36 -07:00
• 8c8cdf4f7f aoc2023 day2, codegen fixes, parsing fix Steve Dunham 2024-10-23 20:29:52 -07:00
• 0843ae93e1 preliminary vim support Steve Dunham 2024-10-22 22:09:01 -07:00
• fe323618e7 Visible infix info from imports Steve Dunham 2024-10-22 22:08:34 -07:00
• 19b42d72e5 update todo Steve Dunham 2024-10-22 21:06:21 -07:00
• c7593e831e Get AOC day1 working Steve Dunham 2024-10-22 20:30:20 -07:00
• 9148852eb5 character lits, initial work on literal case trees Steve Dunham 2024-10-21 22:46:26 -07:00
• 33ec03f2da codegen fixes Steve Dunham 2024-10-19 06:42:43 -07:00
• e67585c2b3 [ fix ] performance issue in Prettier during codegen of Tree.newt Steve Dunham 2024-10-18 22:42:38 -07:00
• 41a7563ad5 Variant on Tree, try not to expand too much Steve Dunham 2024-10-17 21:54:11 -07:00
• 05afc10631 [ fix ] stack overflow in Prettier Steve Dunham 2024-10-17 17:18:20 -07:00
• 50ee14fc09 Get Tree.newt working Steve Dunham 2024-10-16 22:39:44 -07:00
• 1695815fe3 comment out issue in Zoo4eg Steve Dunham 2024-10-16 22:03:09 -07:00
• a0ceac3167 most of Tree.newt working Steve Dunham 2024-10-16 21:25:46 -07:00
• 558e7722b8 [ unify ] Don't add constraints for vvar with spine. Constrain vvar instead of η expanding. Steve Dunham 2024-10-16 07:36:29 -07:00
• 3cbbd8abc2 Better file locations Steve Dunham 2024-10-15 22:08:35 -07:00
• 7a8acd4c6f something else to fix Steve Dunham 2024-10-12 22:16:06 -07:00
• ac09a9bb21 cleanup, expand vars in scrutinee type Steve Dunham 2024-10-12 22:14:34 -07:00
• a7d2e065e6 A couple of other spots we expand to Case Steve Dunham 2024-10-08 22:03:31 -07:00
• 125a8c5ac5 Fix issue where top level is expanded, but stuck on Case Steve Dunham 2024-10-08 20:22:42 -07:00
• 75015f094a more test cases, problem in Tree.newt Steve Dunham 2024-10-07 20:59:50 -07:00
• 38b09ac028 dotting issue Steve Dunham 2024-10-03 21:37:50 -07:00
• 497ef7a9f0 Fix unification issues, add debug messages Steve Dunham 2024-10-02 19:51:19 -07:00
• 151f678f75 Work on usable codegen Steve Dunham 2024-09-29 22:17:51 -07:00
• 76e627825c write output to file (if -o), cmd line parser, handle dup imports Steve Dunham 2024-09-29 11:06:48 -07:00
• fa7d803ebb restructure Raw to separate import directives Steve Dunham 2024-09-29 09:33:09 -07:00
• 9087ee6490 imports Steve Dunham 2024-09-29 07:17:55 -07:00
• beb7b1a623 1 + 1 = 2 Steve Dunham 2024-09-28 20:53:22 -07:00
• 4f9c7fa8a9 rearrange deck chairs Steve Dunham 2024-09-28 11:39:17 -07:00
• 94ffbdb3a2 fixes to casetree Steve Dunham 2024-09-28 11:14:44 -07:00
• eb281fa3b3 Drop incompatible constructors in case Steve Dunham 2024-09-27 20:21:23 -07:00
• 0e3a9fe605 notes on typeclass Steve Dunham 2024-09-21 15:44:51 -07:00
• 38f01065eb mechanism for multiple errors printed at end of file Steve Dunham 2024-09-18 22:21:10 -07:00
• 4f7b78f056 add types to metas, find example that needs postpone Steve Dunham 2024-09-17 22:11:23 -07:00
• 699a4bd575 elaborate let Steve Dunham 2024-09-17 06:27:55 -07:00
• b65a76ccd3 show newt failure in vscode Steve Dunham 2024-09-14 21:55:27 -07:00
• ac7a61e1fd operators in case patterns Steve Dunham 2024-09-14 21:36:03 -07:00
• 086f3d6541 matching on mixfix Steve Dunham 2024-09-14 19:46:15 -07:00
• 331d966ef3 drop commit/mustWork for parsec approach. allow mixfix constructors Steve Dunham 2024-09-14 14:46:04 -07:00
• 647d8d8728 Add license Steve Dunham 2024-09-14 11:44:52 -07:00
• e066a304cd Cleanup comments, codegen for primitive type constructors. Steve Dunham 2024-09-14 11:39:03 -07:00
• 4e8f15c3fb add operators Steve Dunham 2024-09-14 09:54:20 -07:00
• 33015dd060 fixes to pattern matching and codegen, J example works now Steve Dunham 2024-09-13 21:15:57 -07:00
• 49c1f0ce5d better FC Steve Dunham 2024-09-12 22:02:56 -07:00
• ce023ca24b case checking fixes Steve Dunham 2024-09-12 20:45:51 -07:00
• 7a681e5239 implicit patterns Steve Dunham 2024-09-11 21:16:01 -07:00
• 90f3229af5 Don't run switch for single cases Steve Dunham 2024-09-11 16:23:14 -07:00
• db7d2ce73d Updates to text files / comments Steve Dunham 2024-09-11 16:00:56 -07:00
• 391c9449ac Zonk metas in functions, optional type signature on ptype Steve Dunham 2024-09-07 21:29:06 -07:00
• f4cbde2c98 typeclass experiments Steve Dunham 2024-09-07 17:25:37 -07:00
• 7154f874bf add smoke tests Steve Dunham 2024-09-07 14:47:41 -07:00
• 88d8c73e36 cleanup Steve Dunham 2024-09-07 13:39:29 -07:00
• 06f7ba0984 remove zero-argument functions / applications in generated code Steve Dunham 2024-09-07 11:41:16 -07:00
• 796d93d7d9 tighten up generated code Steve Dunham 2024-09-07 11:26:11 -07:00
• 26ed1355f5 case statement fixes Steve Dunham 2024-09-07 10:55:51 -07:00
• 1d1dd678c3 I think I have case expressions compiling Steve Dunham 2024-09-05 21:50:15 -07:00
• 24ce520680 Wire casetree into checking for embedded case statements Steve Dunham 2024-09-04 22:07:07 -07:00