/SPLV20

SPLV20 course notes

Primary LanguageIdris

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