README.md

August 18, 2020 ยท View on GitHub

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