FP-Syd, May 22 2019

As usual, two talks:

Erik de Castro Lopo : Recent Developments at IOHK

Mark Hopkins : Dependent Types Made Difficult

Abstracts available at https://groups.google.com/forum/#!topic/fp-syd/81EKg5PKp-U