language: python
dist: xenial
python:
  - "3.8"

install:
  - pip install mypy

script:
  - make test