3 commits

Author	SHA1	Message	Date
Dima Gerasimov	1f07e1a2a8	enable mypy on CI for core stuff	2020-05-04 19:52:18 +01:00
Dima Gerasimov	9e9fa9620c	update documentation on using Polar	2020-04-12 15:26:14 +01:00
Dima Gerasimov	01b52fcca2	add linting script for mypy	2020-04-12 13:15:33 +01:00