cotalks.dev
Orgs
Login
"Dependent Types in Haskell" by Stephanie Weirich
(link)
Channel:
Strange Loop Conference
note
generate note
unsorted
todo
resolved
completed
canceled
submit