Materials for Edwin Brady’s 2018 Midlands Graduate School course on programming in Idris. This is primarily intended for participants in MGS, and will grow (and probably change) as the school progresses:
- Lecture 1: Slides, Examples, Exercises
- Lecture 2: Slides, Examples, Exercises
- Lecture 3: Slides, Examples, Exercises
- 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 school.
To prepare for the exercise classes, you should have the following installed: