All talks
Keynote 1:01:00

Dependent Types

More great virtual tech conferences - https://codesync.global

Watch on YouTube