Skip to content
/ SPLV20 Public

SPLV20 course notes

Notifications You must be signed in to change notification settings

edwinb/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

About

SPLV20 course notes

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages