Mypy typing + make API nice and unified#123

Merged

nbgl merged 7 commits intoapi-newfrom api-new-typing

Jul 20, 2018

+243-251

Commits on Jul 9, 2018

Type hints
Jakub Nabaglo
committed

Commits on Jul 10, 2018

Bring Hamming similarity in line with rest of API
Jakub Nabaglo
committed
Make solver tests pass
Jakub Nabaglo
committed
Ok, solving tests should finally work now...
Jakub Nabaglo
committed

Commits on Jul 20, 2018

Brian PR comments
Jakub Nabaglo
committed
Make typechecking.Record importable
Jakub Nabaglo
committed
Add dependency on mypy extensions
Jakub Nabaglo
committed