Training material for 'Typing Python with mypy'

This gives an introduction to using the mypy tool in the context of Python for adding in static typing ontop. The slides also provide some background on typing and verification.

This has been delivered in a number of sessions:

• ICCS training day at the African Institute of Computing for Mathematics, Kigali, Rwanda (October 2023)
• Intermediate Research Software Development Skills In Python for Earth Sciences, Manchester (March 2024)
• ICCS Summer School 2024 (July 2024)

• tutorial.py contains examples
• mypy-worksheet.pdf contains a set of exercises (whose LaTeX source code is in src)
• mypy-worksheet-solutions.py provides the solutions
• slides.pdf provides the slides (whose Keynote source is in src).