Open Tech Calendar

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

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 tryidris.herokuapp.com)

See you on the 13th!

Code of Conduct:
confcodeofconduct.com