@@ -152,7 +152,7 @@ idrisStyle = IdentifierStyle _styleName _styleStart _styleLetter _styleReserved
152152 "case", "of", "total", "partial", "mutual",
153153 "infix", "infixl", "infixr", "rewrite",
154154 "where", "with", "syntax", "proof", "postulate",
155− "using", "namespace", "class", "instance",
155+ "using", "namespace", "class", "instance", "parameters",
156156 "public", "private", "abstract", "implicit",
157157 "quoteGoal",
158158 "Int", "Integer", "Float", "Char", "String", "Ptr",