kracekumar / python-typing-koans Python 121 10 Python typing koans to learn type-hints in Python3 using Mypy mypy type-hints koans python