Well-Typed Advanced Track at ZuriHac 2022 Andres Löh, Armando Santos, Adam Gundry Wednesday, 01 June 2022
Remote Interactive Course on Type-level Programming with GHC Christine Gundry, Andres Löh Thursday, 14 October 2021
ZuriHac 2021 Advanced Track Materials Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh Wednesday, 23 June 2021
Free training sessions at ZuriHac 2019 Christine Gundry, Adam Gundry, Duncan Coutts Friday, 07 June 2019
8-hours remote interactive course on "Type-level programming with GHC" Andres Löh Wednesday, 27 June 2018
Haskell Hackathon, Haskell eXchange, Haskell courses in London, October 2015 Andres Löh Friday, 11 September 2015