Diffstat (limited to 'src/lexer.rs')
-rw-r--r--src/lexer.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lexer.rs b/src/lexer.rs
index 5fab13f..7ed17ff 100644
--- a/src/lexer.rs
+++ b/src/lexer.rs
@@ -65,7 +65,7 @@ macro_rules! tokens {
tokens! {
"λ" => Lambda,
- "⎬" => Array,
+ "⎦" => ArrayN,
"→" => Place,
"≡" => Eq,
@@ -100,6 +100,7 @@ tokens! {
"🪪" => Type,
"📏" => Length,
"👩‍👩‍👧‍👧" => Group,
+ "📂" => Open,
"⏪" => Shl,
"⏩" => Shr,
"📶" => Sort,