Skip to content

lambda-magic/SPLV20

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Releases

No releases published

Packages

No packages published

Languages

  • Idris 100.0%