Remote Interactive Course on Type-level Programming with GHC Christine Gundry, Andres Löh Thursday, 14 October 2021
