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.

Documents

You can download the (WIP) SPLV lecture notes.

Day 1

Day 2

Day 3


Last update: 2023 11
fun