diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-06 19:22:03 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-07-06 19:22:03 +0200 |
| commit | b71f135d5762f2a12bf08c71ecdcd221ed87cff0 (patch) | |
| tree | 8d1a8fd817bdadd710ec2f58da379510e3c93f58 /source | |
| parent | 698bc0ec8128889aae37a766130e9b193c399b9c (diff) | |
Formalisation of integers.
Diffstat (limited to 'source')
| -rw-r--r-- | source/Syntax/Lexicon.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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" |