4th Year Advanced Functional Programming, 2024

I am delivering an Agda course for our 4th years.

Scottish Programming Languages and Verification Summer School, 2023

I am delivering an Idris 2 course for SPLV 2023.


You can download the (WIP) SPLV lecture notes.

Day 1

Day 2

Day 3

Last update: 2024 04