Languages
Ur reads each file by its extension. It lints every language here, and formats each in its styles, the first unless the project chooses another.
| Language | Files | Styles |
|---|---|---|
| Java | .java | google-java-format |
| JavaScript | .js .mjs .cjs .jsx | Prettier |
| TypeScript | .ts .mts .cts .tsx | Prettier |
| Lean | .lean | Mathlib |
| Markdown | .md .markdown | Prettier |
| Python | .py .pyi | Black |
| Ruby | .rb | RuboCop |
| Rust | .rs | rustfmt |
| Shell | .sh .bash .ksh .zsh | Linted, not formatted yet |
| SQL | .sql | SQLFluff, River |
| TLA+ | .tla | tla2tools |