Skip to content

/IdrisAtGalois2015

Slides and exercises for the Idris course taught at Galois
  1. Idris 100.0%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Lecture1
Lecture2
Lecture3
.gitignore
Lecture2.idr
README.org

README.org

Support files for Idris course at Galois, January 2015

This directory contains slides and support files for the introduction to Idris held at Galois in January 2015. Watch this space for more.

Videos

The recorded presentations are available on Galois’s channel Vimeo:

You can’t perform that action at this time.