In March's (def shef), we're looking at dependent typing and the kinds of problems it can help with, using the Idris language.

We're all beginners with this language, so everyone is welcome! We'll be working through introductory materials (feel free to have a read around and a go yourself beforehand) and looking for problems that demonstrate the advantages of a dependently typed language.

This will be a hands-on session that isn't very structured. You'll need a laptop and it'll help if you've already installed Idris (alternatively you can try using an online REPL like https://tryidris.herokuapp.com/console)

See you on the 13th!

(def shef) observes a code of conduct described at confcodeofconduct.com.