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

• 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

---

Last update: 2023 07