Materials for Edwin Brady’s 2017 Oregon Programming Languages Summer School course on programming in Idris. This is primarily intended for participants in OPLSS, and will grow (and probably change) as the summer school progresses:
- Lecture 1: Slides, Examples
- Lecture 2: Slides, Examples
- Lecture 3: Slides, Examples
- Lecture 4: Slides, Examples
The examples as given are incomplete, and will be developed during the lectures and hands-on sessions. Note that the examples might be updated throughout the summer school.