From 407a2a4a0a440c41adc19fbe8b67283b7b7c65ab Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 19 Feb 2024 12:57:26 +0100
Subject: core syntax, semantic domain, evaluation

---
 lib/Lexer.mll | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/Lexer.mll')

diff --git a/lib/Lexer.mll b/lib/Lexer.mll
index a8410d0..3f178f5 100644
--- a/lib/Lexer.mll
+++ b/lib/Lexer.mll
@@ -20,13 +20,13 @@ rule lex =
   | "," { COMMA }
   | "." { DOT }
   | "=>" { FATARROW }
-  | "bool" { BOOL }
-  | "true" { TRUE }
-  | "false" { FALSE }
-  | "bool-elim" { BOOL_ELIM }
   | "at" { AT }
   | "fst" { FST }
   | "snd" { SND }
   | "type" { TYPE }
+  | "bool" { BOOL }
+  | "true" { TRUE }
+  | "false" { FALSE }
+  | "bool-elim" { BOOL_ELIM }
   | ident { IDENT (Lexing.lexeme lexbuf) }
   | eof { EOF }
-- 
cgit 1.4.1