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

I am delivering an Idris 2 course for SPLV 2023.

Documents

You can download the (WIP) SPLV lecture notes.

Day 1

• Slides Day 1
• Code (and corresponding package file as we need to tell Idris to not automatically load the prelude)

Day 2

• Slides Day 2
• Code (and accompanying library)

Day 3

• Slides Day 3
• Artefact for the Programming Over Serialised Data lecture