- `set_option eval.type true` includes the expression type when \#eval expression is computed. - `set_option linter.unusedVariables false` disables warning of unused identifiers. - `set_option linter.style.cases false` disables warning to replace cases' with obtain for conjunctions or cases. - `set_option linter.style.emptyLine false` disables warning of blank line inside a definition. - `set_option autoImplicit false` With this option off, you must explicitly declare all implicit arguments. This can be useful for debugging or for writing very precise, low-level definitions. - `set_option linter.style.commandStart false` -- disable warnings for columnized spacing ##### `set_option linter.style.whitespace false` -- disable warnings spacing used for column alignment set_option linter.style.whitespace false Note: this option also disables warnings for trailing spaces at the end of lines.