Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 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
• 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