diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-02 20:28:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-02 20:28:22 +0200 |
| commit | 793849dd0b20bc70ea0e0ecfd5008a3806eca0d9 (patch) | |
| tree | 280949f358a695c5471212cc5b22950399d8cd57 /source/Syntax/Lexicon.hs | |
| parent | 3caadfbe0fdb417b8edebc17002ddafe795a4bcc (diff) | |
| parent | 8fd49ae84e8cc4524c19b20fa0aabb4e77a46cd5 (diff) | |
Merge pull request #2 from Simon-Kor/main
Merge (finally)
Diffstat (limited to 'source/Syntax/Lexicon.hs')
| -rw-r--r-- | source/Syntax/Lexicon.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/Syntax/Lexicon.hs b/source/Syntax/Lexicon.hs index 463dd18..4fe8730 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" @@ -110,6 +111,8 @@ prefixOps = , ([Just (Command "snd"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "snd")) , ([Just (Command "pow"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "pow")) , ([Just (Command "neg"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "neg")) + , ([Just (Command "inv"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "inv")) + , ([Just (Command "abs"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "abs")) , (ConsSymbol, (NonAssoc, "cons")) , (PairSymbol, (NonAssoc, "pair")) -- NOTE Is now defined and hence no longer necessary , (ApplySymbol, (NonAssoc, "apply")) |