doc: update README

README.md

@@ -25,12 +25,12 @@ Test programs [do not need](https://evolution.berkeley.edu/) to be designed, but
 * Byron is currently in [alpha](https://en.wikipedia.org/wiki/Software_release_life_cycle#Alpha) and under active development
 * The default branch is always the more stable
 * Do not clone experimental branches `exp/*` unless you really know what you are doing
-* Follow this [style guide](https://github.com/squillero/style/blob/master/python.md) and keep the code formatted with [Ruff formatter](https://docs.astral.sh/ruff/formatter/)
+* Follow this [style guide](https://github.com/squillero/style/blob/master/python.md) and keep the code formatted with [Ruff](https://docs.astral.sh/ruff/formatter/)
 * Follow this [convention](https://github.com/squillero/style/blob/master/git.md) when drafting commit messages
 * Write as few lines of code and as many lines of comments as possible (ie. use builtins, exploit generators and list comprehension)
 * Be [paranoid](https://cad-polito-it.github.io/byron/paranoia) (cit. *"I need someone to show me the things"*)
 * Use [pytest](https://docs.pytest.org/) and [Coverage.py](https://coverage.readthedocs.io/) for unit testing (ie. `coverage run --module pytest --all`)
-* Use [Ruff](https://docs.astral.sh/ruff/linter/) for linting and [mypy](https://mypy-lang.org/) for additional type checking
+* Use [Ruff](https://docs.astral.sh/ruff/linter/) for linting and [mypy](https://mypy-lang.org/) for type checking
 * Use [direnv](https://direnv.net) to patch environment variables 
 * And remember that it may be wise to contact [Giovanni](https://github.com/squillero) before trying to change anything