Merge remote-tracking branch 'origin/main' into notes-and-numbers

2022-03-06 19:23:24 +01:00 · 2022-03-06 19:23:24 +01:00 · af81626f43
commit af81626f43
parent 14ab6c5960 1d4129e84d
15 changed files with 383 additions and 142 deletions
--- a/repl/snowpack.config.mjs
+++ b/repl/snowpack.config.mjs
@ -28,7 +28,7 @@ export default {
  },
  packageOptions: {
    /* ... */
-    knownEntrypoints: ['fraction.js', 'codemirror'],
+    knownEntrypoints: ['fraction.js', 'codemirror', 'shift-ast', 'ramda'],
  },
  devOptions: {
    tailwindConfig: './tailwind.config.js',