/SPLV20

edwinb's SPLV20 course notes, updated to run on current Idris2. (The updates build on work by @gallais.) The corresponding lectures are at https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql

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