cotalks.dev
Login
f(by) 2020: Dependent types, Vitaly Bragilevsky
(link)
Channel:
SPACE
unsorted
todo
resolved
completed
canceled
submit