From 832767575c48d31b9a676a610d3c982bfb454a38 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Fri, 29 Dec 2023 18:43:09 -0700
Subject: [PATCH] lex \ instead of \\

---
 src/Core/Lex.x | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Core/Lex.x b/src/Core/Lex.x
index 9fb9d31..d5cdc1e 100644
--- a/src/Core/Lex.x
+++ b/src/Core/Lex.x
@@ -87,8 +87,7 @@ rlp :-
     "where"                 { constTok TokenWhere }
     "Pack"                  { constTok TokenPack } -- temp
 
-    -- TODO: this should be "\"
-    "\\"                    { constTok TokenLambda }
+    "\"                     { constTok TokenLambda }
     "λ"                     { constTok TokenLambda }
     "="                     { constTok TokenEquals }
     "->"                    { constTok TokenArrow }