SPLV 2020

Course notes and supporting code for the Scottish Programming Language and Verification summer school course on "The Implementation of Idris 2"

This includes:

• Slides --- containing the (PDF) slides from the lectures
• Code --- containing the code used in the lectures, and exercises
• TinyIdris-v1 --- an initial implementation of TinyIdris
• TinyIdris-v2 --- an expanded implementation of TinyIdris with unification