- `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` -- disable blank line warning 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` -- ignore whitespace errors - `set_option linter.style.longLine false` -- allows lines with more than 100 columns