Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
(
youtube.com
)
7 points
by
matt_d
14 hours ago
