credit Pylint and MyPy
@@ -19,6 +19,8 @@ It's a really nice language for teaching programming. It also has some nice tech
Libraries and resources
-----------------------
* jedi (http://jedi.readthedocs.io) is used for code completion, go to definition, etc.
+* pylint (https://www.pylint.org/) is used as one of the engines behind warnings presented by the Assistant.
+* mypy (http://mypy-lang.org/) is used, just like pylint, as a warning engine in the Assistant.
* certifi (https://pypi.python.org/pypi/certifi) provides SSL certs for bundled Python in Linux and Mac.
* distro (https://pypi.python.org/pypi/distro) is optionally used for detecting Linux version in About dialog.
* Most icons are taken from Eclipse project (https://www.eclipse.org/, https://github.com/eclipse/eclipse.platform.debug/tree/master/org.eclipse.debug.ui/icons/full/, https://github.com/eclipse/eclipse.platform.ui/tree/master/bundles/org.eclipse.ui/icons/full/, https://github.com/eclipse/eclipse.jdt.ui/tree/master/org.eclipse.jdt.ui/icons/full/), on Linux, some are overriden by Tango icons (http://tango.freedesktop.org/)
