MGS 2018 Course Materials

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:

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:

  • Idris version 1.2.0
  • The Atom text editor, with the Idris plugin installed
    • You can find the plugin at: Preferences -> Install -> Search for ‘language-idris’