diff options
Diffstat (limited to 'source/Syntax')
| -rw-r--r-- | source/Syntax/Concrete/Keywords.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/source/Syntax/Concrete/Keywords.hs b/source/Syntax/Concrete/Keywords.hs index b507e7e..e10a024 100644 --- a/source/Syntax/Concrete/Keywords.hs +++ b/source/Syntax/Concrete/Keywords.hs @@ -183,8 +183,6 @@ _the :: Prod r Text (Located Token) SourcePos _the = word "the" ? "the" _then :: Prod r Text (Located Token) SourcePos _then = word "then" ? "then" -_throughout :: Prod r Text (Located Token) SourcePos -_throughout = word "throughout" <* optional (word "this" <* word "section") <* optional _comma <|> (word "in" <* word "the" <* word "sequel") ? "throughout" _thus :: Prod r Text (Located Token) SourcePos _thus = word "thus" <|> word "then" <|> word "hence" <|> word "now" <|> word "finally" <|> word "therefore" ? "thus" _trivial :: Prod r Text (Located Token) SourcePos @@ -225,4 +223,4 @@ _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 +_ampersand = symbol "&" ? "&" |