add ro for rock, update flake.lock

shnarazk · Oct 29, 2023 · be98c5f · be98c5f
1 parent 0bae470
commit be98c5f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/grammar.js b/grammar.js
@@ -335,6 +335,7 @@ module.exports = grammar({
 
       // Since 0.0.21
       token('rock'),
+      token('ro'),
       token('⋄'),
       token('surface'),
       token('~'),
@@ -375,7 +376,6 @@ module.exports = grammar({
       // ([1], Gap, Stack, ("gap", '⋅')),
       token('gap'),
       token('⋅'),
-      token('⟜'),
       // ([1], Invert, OtherModifier, ("invert", '⍘')),
       token('invert'),
       token('⍘'),
@@ -390,6 +390,7 @@ module.exports = grammar({
 
       // Since 0.24
       token('reach'),
+      token('⟜'),
     ),
     modifier2:   $ => choice(
       // (2[1], Fold, AggregatingModifier, ("fold", '∧')),