Commit graph

Select branches

Hide pull requests

json-lang

Mono Color

• 25e9fb8fcf
  
  Organize the module tree a little json-lang Emi Simpson 2024-03-17 13:43:15 -0400
• f7420c7852
  
  Added an asciicast demo Emi Simpson 2024-03-17 11:28:09 -0400
• e3ab0e26d3
  
  Add an example section to the README Emi Simpson 2024-03-17 10:53:04 -0400
• 1d8fdb1a81
  
  Simplify code generation for a top-level recursive function Emi Simpson 2024-03-17 10:35:55 -0400
• 23ef1f1228
  
  Reverse output order for rendering ReplHole code generation Emi Simpson 2024-03-17 10:21:12 -0400
• 6a598e3856
  
  Add a slow_fibb example Emi Simpson 2024-03-17 10:20:20 -0400
• 2479dbd9a6
  
  Expand let elimination to work on some simple expression types regardless of use count Emi Simpson 2024-03-17 10:19:50 -0400
• 67a7bbc821
  
  Make '$' variables globally unique Emi Simpson 2024-03-17 10:12:02 -0400
• a673db77ca
  
  BUG: Codegen optimization for + failed to fire Emi Simpson 2024-03-17 10:00:56 -0400
• 656b44e18f
  
  Hide buggy ReplHole feature from README Emi Simpson 2024-03-17 09:50:39 -0400
• 482547fea9
  
  Remove some debug statements Emi Simpson 2024-03-17 09:47:37 -0400
• 864d98638e
  
  OPTIMIZATION: Turn additions of constants to PLUS_CONST, eliminate PLUS_CONST(0)s Emi Simpson 2024-03-17 09:46:31 -0400
• 4f39a88f47
  
  BUG: Optimizations don't penetrate applications and repl holes Emi Simpson 2024-03-17 09:45:59 -0400
• a2b68cc73e
  
  Optimization: Collapse consecutive constant additions Emi Simpson 2024-03-17 09:09:04 -0400
• 37c809f5c0
  
  Restructure how builtins work to improve inspectability Emi Simpson 2024-03-17 09:00:15 -0400
• b0ccfc6309
  
  Optimization: Special case for simplying recursive let bindings codegen Emi Simpson 2024-03-16 22:23:06 -0400
• 6f89dfa1c5
  
  Optimization: Remove redundant let expressions Emi Simpson 2024-03-16 22:02:22 -0400
• 719de87ea9
  
  Perform match elimination at IR generation rather than codegen Emi Simpson 2024-03-16 19:42:09 -0400
• e6d8933ccf
  
  BUG: Substitution does not penetrate Switch expressions Emi Simpson 2024-03-16 18:08:40 -0400
• 55fa7add0e
  
  Add special case to improve quality of generated code for simple functions Emi Simpson 2024-03-16 09:36:30 -0400
• 79deebabf4
  
  Fix bug: Recursion shares a single variable between all stack frames when compiling to JS Emi Simpson 2024-03-16 09:18:41 -0400
• 2238d363e5
  
  Generate slightly smaller code for switch and let Emi Simpson 2024-03-15 19:54:48 -0400
• cd87c0fc08
  
  Don't include fibb_helper in the produced bindings for the fibbonacci example Emi Simpson 2024-03-15 19:54:23 -0400
• 1f959551fc
  
  Add compilation instructions to README Emi Simpson 2024-03-15 19:52:59 -0400
• 237c83f511
  
  Fix bug: Switch statements crash when switching to the fallback branch Emi Simpson 2024-03-15 19:28:54 -0400
• f04553ac4d
  
  Clean up some type errors Emi Simpson 2024-03-15 19:20:19 -0400
• 7b59e21183
  
  Improve compilation output for builtins in special contexts Emi Simpson 2024-03-15 18:52:17 -0400
• fbcbe0215a
  
  Hide builtins from compilation output Emi Simpson 2024-03-15 18:51:44 -0400
• 9dda964aca
  
  Make fibb.json generate bindings rather than a function Emi Simpson 2024-03-15 17:17:28 -0400
• d0ebd8cfa5
  
  Make compiled bindings const Emi Simpson 2024-03-15 17:17:15 -0400
• 666488ce0f
  
  Fixed match tree merges creating ambiguous trees Emi Simpson 2024-03-15 17:13:14 -0400
• 88399fff69
  
  Implement compilation Emi Simpson 2024-03-15 09:34:54 -0400
• 673292e913
  
  Add a README Emi Simpson 2024-03-06 18:49:50 -0500
• aa93a85d7c
  
  Add missing import Emi Simpson 2024-03-06 16:55:20 -0500
• 79c503678e
  
  Added merge_with Emi Simpson 2023-03-30 19:20:07 -0400
• 8f69581893
  
  Pair down generated js a bit Emi Simpson 2023-03-15 14:06:57 -0400
• cdf33bd6da
  
  Add compilation to JavaScript Emi Simpson 2023-03-15 13:36:07 -0400
• f5d999a3dd
  
  Don't use recursion in evaluate :( Emi Simpson 2023-03-10 08:53:39 -0500
• d94ff158f7
  
  Make function type rendering prettier Emi Simpson 2023-03-09 22:33:34 -0500
• 97cd81dc43
  
  Add some more stuff to the example file Emi Simpson 2023-03-09 22:13:34 -0500
• 5c869516e2
  
  Upgrade the REPL UI Emi Simpson 2023-03-09 22:13:18 -0500
• d5649b0523
  
  Return actually analagus types in BranchMismatch Emi Simpson 2023-03-09 22:12:09 -0500
• ca685d7ded
  
  Fix substitution not working for polytypes Emi Simpson 2023-03-09 22:11:21 -0500
• fb55346003
  
  Make typechecking slightly less buggy Emi Simpson 2023-03-09 17:48:57 -0500
• 792674797d
  
  Buggy typechecking Emi Simpson 2023-03-09 17:00:54 -0500
• 907bc5d505
  
  Add an example json Emi Simpson 2023-03-08 12:19:42 -0500
• 224ec0bc98
  
  Add a repl Emi Simpson 2023-03-08 11:50:03 -0500
• 0383bc5b82
  
  Take out the old recursion thingy Emi Simpson 2023-03-08 11:19:46 -0500
• a49b7b5baf
  
  Add let statements Emi Simpson 2023-03-08 11:03:36 -0500
• c27852daba
  
  Add in IR generation Emi Simpson 2023-03-08 08:35:21 -0500
• 92d458de85
  
  Add partition Emi Simpson 2023-03-07 20:07:17 -0500
• 206c0a0ec0
  
  Start making a grammar then realize there's a builtin json parser Emi Simpson 2023-03-07 20:42:10 -0500
• bc2a2e2a8c
  
  Functional operation semantics Emi Simpson 2023-03-07 20:25:26 -0500
• c4098d8c2b
  
  Add parse_, expand some doc tests Emi Simpson 2023-03-07 20:07:59 -0500
• 08547aea2f
  
  Add a combinator parser Emi Simpson 2023-03-07 11:05:10 -0500
• dfdbda4406
  
  Fixed a bug which caused unnecessary infinite recursion Emi Simpson 2023-03-06 14:16:03 -0500
• 73e9771e6c
  
  Rename main -> lab2 Emi Simpson 2023-03-06 13:48:08 -0500
• d39a78fae7
  
  Add a main! Now it works! Emi Simpson 2023-03-06 13:39:37 -0500
• 6f0d15ee3f
  
  Finagle some types and imports Emi Simpson 2023-03-06 13:39:16 -0500
• 9d6da82dd4
  
  Fix broken tests in build_oracle Emi Simpson 2023-03-06 13:03:59 -0500
• 0605b759f0
  
  Fix failing doctests in lex.py Emi Simpson 2023-03-06 12:07:49 -0500
• 57130c9233
  
  Clean up some unused functions Emi Simpson 2023-03-06 12:03:15 -0500
• 6353522827
  
  Get resolution working for real! Emi Simpson 2023-03-06 11:53:24 -0500
• 475c324e64
  
  Add next_generation Emi Simpson 2023-03-06 11:34:54 -0500
• 08e02c523a
  
  Add is_false Emi Simpson 2023-03-06 11:34:44 -0500
• fe8d9b766c
  
  Allow hashing clauses Emi Simpson 2023-03-06 11:34:19 -0500
• 65a8c0042f
  
  Added FSet and fset Emi Simpson 2023-03-06 11:31:39 -0500
• f0d7ee2d5e
  
  Add derive2 Emi Simpson 2023-03-06 08:16:20 -0500
• b046152a4c
  
  Add a derive method Emi Simpson 2023-03-05 22:33:00 -0500
• 122b810b73
  
  Add function to merge clauses Emi Simpson 2023-03-05 22:17:28 -0500
• b8cb7d864c
  
  Add drop_none Emi Simpson 2023-03-05 21:45:02 -0500
• db2f9710dd
  
  Add a cancelation checker Emi Simpson 2023-03-05 21:35:14 -0500
• ad4ed220b6
  
  Add sub_all_clause Emi Simpson 2023-03-05 21:22:29 -0500
• 46bbcca1b8
  
  Add uncurry2 Emi Simpson 2023-03-05 21:17:02 -0500
• 8d3edb1ea8
  
  Add a notation of cantions Emi Simpson 2023-03-05 20:54:48 -0500
• 1cf1acaa08
  
  Add in support for unification Emi Simpson 2023-03-05 20:45:10 -0500
• 3028075176
  
  Add <= as an alias for map Emi Simpson 2023-03-05 19:44:28 -0500
• 4b4f9037cf
  
  Ignore some unhelpful type errors Emi Simpson 2023-03-05 19:21:19 -0500
• eacf7542e5
  
  Fixed order in Subst __repr__ Emi Simpson 2023-03-05 19:15:24 -0500
• 642225b285
  
  Add << as an alias for binding a result Emi Simpson 2023-03-05 19:13:15 -0500
• ad31d63450
  
  Implement substitution Emi Simpson 2023-03-05 17:18:11 -0500
• 0fef3804a4
  
  Use strings in IR rather than lexemes Emi Simpson 2023-03-05 17:01:10 -0500
• ad012184c5
  
  Add docs Emi Simpson 2023-03-05 16:51:19 -0500
• f84a340f0a
  
  Factor out IR and Tok Emi Simpson 2023-03-05 16:44:30 -0500
• 9e6c7d504d
  
  Add a combined lex+parse method Emi Simpson 2023-03-05 16:21:28 -0500
• 98253bb254
  
  Souped up error checking Emi Simpson 2023-03-05 16:00:07 -0500
• 46e59ba918
  
  Make IR generation fallible Emi Simpson 2023-03-04 23:43:26 -0500
• 15206f7776
  
  Do IR generation Emi Simpson 2023-03-04 23:13:25 -0500
• 532a5a14d0
  
  Get parsing for the sample document working Emi Simpson 2023-03-04 22:02:16 -0500
• b8b6ba708f
  
  Use an action type alias rather than class Emi Simpson 2023-03-04 20:00:00 -0500
• f692e8dcca
  
  Reverse parser direction + doc Emi Simpson 2023-03-04 19:31:30 -0500
• 3afed0c2e0
  
  Souped up the lexer to track line & col numbers Emi Simpson 2023-03-04 17:04:23 -0500
• 61ee996c7a
  
  Add ability to build parse tree Emi Simpson 2023-03-04 16:37:55 -0500
• 140fe67d5d
  
  Add action erasure to parser Emi Simpson 2023-03-04 14:55:34 -0500
• da35286207
  
  Add p_instance Emi Simpson 2023-03-04 14:54:31 -0500
• 439fc91fc9
  
  Added try_converge Emi Simpson 2023-03-04 12:12:00 -0500
• 6e1952b148
  
  Added a basic recognizer Emi Simpson 2023-03-04 13:31:44 -0500
• 5e84e50aa2
  
  Move oracle table generating facilities to grammar.py Emi Simpson 2023-03-04 12:47:56 -0500
• f813d91736
  
  Move grammar and lex table to their own file Emi Simpson 2023-03-04 12:42:43 -0500
• 00043d27dd
  
  Genericize the lexer Emi Simpson 2023-03-04 12:16:00 -0500