191030.2.1.3 · ab639e1b7412fa09f5302cf3cfcfbabef883cf6b
EditorConfig: Lua
Enforce consistent code styles for all Lua files (.lua, .lang, .theme):
* Indent: 2 spaces.
* Trim trailing whitespace.
* Insert final new line.
* UTF-8 encoding.
Manually fix all scripts that didn't pass EClint validation (256 files).
reading declarations
Changes to langDefs/agda.lang. All files
@@ -5,12 +5,12 @@ Categories = {"source"} Keywords={ { Id=1,- List={"abstract", "case", "concrete", "data", "do", "in", "interface", - "let", "module", "mutual", "of", "open", "native", "package", "postulate", - "private", "public", "sig", "struct", "type", "use", "set", "type", "abstract", - "data", "forall", "hiding", "import", "in", "infix", - "infixl", "infixr", "let","module", "mutual", "open", - "postulate", "primitive", "private","public","record", "renaming", + List={"abstract", "case", "concrete", "data", "do", "in", "interface",+ "let", "module", "mutual", "of", "open", "native", "package", "postulate",+ "private", "public", "sig", "struct", "type", "use", "set", "type", "abstract",+ "data", "forall", "hiding", "import", "in", "infix",+ "infixl", "infixr", "let","module", "mutual", "open",+ "postulate", "primitive", "private","public","record", "renaming", "using", "where", "with"}, }, { Id=2,