In March's (def shef), we're looking at dependent typing and the kinds of problems it can help with, using the Idris language (https://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 https://tryidris.herokuapp.com/console)
