From b71f135d5762f2a12bf08c71ecdcd221ed87cff0 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sat, 6 Jul 2024 19:22:03 +0200
Subject: Formalisation of integers.

---
 source/Syntax/Lexicon.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'source/Syntax')

diff --git a/source/Syntax/Lexicon.hs b/source/Syntax/Lexicon.hs
index 463dd18..65072ee 100644
--- a/source/Syntax/Lexicon.hs
+++ b/source/Syntax/Lexicon.hs
@@ -95,6 +95,7 @@ builtinMixfix = Seq.fromList $ (HM.fromList <$>)
         builtinIdentifiers = identifier <$>
             [ "emptyset"
             , "naturals"
+            , "integers"
             , "rationals"
             , "reals"
             , "unit"
-- 
cgit v1.2.3