https://www.irwin.sh/teaching/pf/apps.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/dijkstra.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/ie1 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/ie2.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/ie3.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/ie4.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/monad_ex.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/monads.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/td11.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/td3.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/td6.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/td7.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/td8.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/typage.html 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/algorithms 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/booleans 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/cheatsheet 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/dicts 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/functions 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/introduction 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/lists 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/practical_1 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/practical_2 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/practical_3 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/python 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/variables 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/bda/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/pf/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/graphs/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/logique/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/lp/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/python_1A/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/teaching/tw1/ 2026-03-20T18:10:14+01:00 https://www.irwin.sh/news/arrivee_pims/ 2021-09-02T18:30:00+02:00 https://www.irwin.sh/blog/2024/dacqn/ 2024-03-25T00:00:00+01:00 https://www.irwin.sh/blog/2025/wcojs/ 2025-03-25T00:00:00+01:00 https://www.irwin.sh/ https://www.irwin.sh/cv/ https://www.irwin.sh/news/ https://www.irwin.sh/publications/ https://www.irwin.sh/talks/ https://www.irwin.sh/teaching/ https://www.irwin.sh/blog/tag/research/ https://www.irwin.sh/blog/tag/paper-details/ https://www.irwin.sh/blog/2024/ https://www.irwin.sh/blog/2025/