@@ -18,7 +18,8 @@ idrisDef = haskellDef {
1818 reservedOpNames = [":", "..", "=", "\\", "|", "<-", "->", "=>"],
1919 reservedNames = ["let", "in", "data", "Set", "if", "then", "else",
2020 "do", "dsl", "import", "infix", "infixl", "infixr",
21− "where", "forall"]
21+ "where", "forall", "syntax",
22+ "using", "params", "namespace"]
2223 }
2324
2425lexer :: TokenParser ()