cotalks.dev
Login
"A Little Taste of Dependent Types" by David Christiansen
(link)
Event:
Strange Loop 2018
Channel:
Strange Loop Conference
unsorted
todo
resolved
completed
canceled
submit