https://github.com/edwinb/SPLV20

SPLV20 course notes
https://github.com/edwinb/SPLV20

Last synced: 2 days ago
JSON representation

SPLV20 course notes

• Host: GitHub
• URL: https://github.com/edwinb/SPLV20
• Owner: edwinb
• Created: 2020-08-17T09:35:02.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2022-11-19T03:38:52.000Z (over 1 year ago)
• Last Synced: 2024-03-12T04:35:39.731Z (4 months ago)
• Language: Idris
• Size: 868 KB
• Stars: 102
• Watchers: 12
• Forks: 33
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Lists

• idris-awesomeness - The Implementation of Idris 2

README

        
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