Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 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
• 31a30ff7dc fromMaybe is working, but stuff feels a little messy/fragile Steve Dunham 2024-09-02 14:14:35 -07:00
• 27432840a8 investigating issue Steve Dunham 2024-08-31 20:45:46 -07:00
• f3c02ed987 more work on casetree Steve Dunham 2024-08-31 14:47:49 -07:00
• 987ab18b94 case builder starting to work Steve Dunham 2024-08-30 21:40:14 -07:00
• 7f47029efe casetree WIP Steve Dunham 2024-08-29 22:00:19 -07:00
• 3cba2993e2 casetree prep Steve Dunham 2024-08-29 21:59:54 -07:00
• 4c205a0c28 update readme Steve Dunham 2024-08-29 21:58:46 -07:00
• b4af384936 add typescript exercise Steve Dunham 2024-08-23 19:22:15 -07:00
• 2c20cadd09 Fix RHole, add test files, papers, piforall examples Steve Dunham 2024-08-22 22:07:45 -07:00
• 9db5649446 primitive string and int, primitive functions, codegen fixes Steve Dunham 2024-08-22 19:41:24 -07:00
• dfa6b835b0 dce Steve Dunham 2024-08-22 14:11:43 -07:00
• f6e47c8d22 more work on case Steve Dunham 2024-08-22 13:33:16 -07:00
• 1fef9dcfc6 fresh names, move case stuff along a little Steve Dunham 2024-08-13 07:42:01 -07:00
• 023e9e61ad codegen improvements Steve Dunham 2024-08-12 11:54:08 -07:00
• d39c9aa9b2 Add CExp Steve Dunham 2024-08-11 22:22:09 -07:00
• f27c03ef20 cleanup Steve Dunham 2024-08-11 12:18:07 -07:00
• 32536fc264 notes Steve Dunham 2024-08-09 10:25:28 -07:00
• c1c1cc0e0e compile data constructors (need to get arity in funcalls) Steve Dunham 2024-08-09 10:03:22 -07:00
• 0058b6b724 Tighten up generated code Steve Dunham 2024-08-09 07:04:17 -07:00
• 873b45587c remove redundant pdf dir Steve Dunham 2024-08-08 23:02:08 -07:00