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/Concrete | |
| parent | 3caadfbe0fdb417b8edebc17002ddafe795a4bcc (diff) | |
| parent | 8fd49ae84e8cc4524c19b20fa0aabb4e77a46cd5 (diff) | |
Merge pull request #2 from Simon-Kor/main
Merge (finally)
Diffstat (limited to 'source/Syntax/Concrete')
| -rw-r--r-- | source/Syntax/Concrete/Keywords.hs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/source/Syntax/Concrete/Keywords.hs b/source/Syntax/Concrete/Keywords.hs index 135cdac..b507e7e 100644 --- a/source/Syntax/Concrete/Keywords.hs +++ b/source/Syntax/Concrete/Keywords.hs @@ -108,7 +108,7 @@ _either = word "either" ? "either" _equipped :: Prod r Text (Located Token) SourcePos _equipped = (word "equipped" <|> word "together") <* word "with" ? "equipped with" _every :: Prod r Text (Located Token) SourcePos -_every = (word "every") ? "every" +_every = word "every" ? "every" _exist :: Prod r Text (Located Token) SourcePos _exist = word "there" <* word "exist" ? "there exist" _exists :: Prod r Text (Located Token) SourcePos @@ -124,7 +124,7 @@ _for = word "for" ? "for" _forAll :: Prod r Text (Located Token) SourcePos _forAll = (word "for" <* word "all") <|> word "all" ? "all" _forEvery :: Prod r Text (Located Token) SourcePos -_forEvery = (word "for" <* word "every") <|> (word "every") ? "for every" +_forEvery = (word "for" <* word "every") <|> word "every" ? "for every" _have :: Prod r Text (Located Token) SourcePos _have = word "we" <* word "have" <* optional (word "that") ? "we have" _if :: Prod r Text (Located Token) SourcePos @@ -220,3 +220,9 @@ _in :: Prod r Text (Located Token) SourcePos _in = symbol "∈" <|> command "in" ? "\\in" _subseteq :: Prod r Text (Located Token) SourcePos _subseteq = command "subseteq" ? "\\subseteq" +_to :: Prod r Text (Located Token) SourcePos +_to = command "to" ? "\\to" +_mapsto :: Prod r Text (Located Token) SourcePos +_mapsto = command "mapsto" ? "\\mapsto" +_ampersand :: Prod r Text (Located Token) SourcePos +_ampersand = symbol "&" ? "&"
\ No newline at end of file |