home
||
publications
||
teaching
||
thesis
||
blog
||
contact
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