HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Propositions as Types | Hacker News Reader
Propositions as Types
youtu.be
2 points
·
tosh
·
·
1 comment
Open article
Save
View on HN
gus_massa
·
The youtu.be domain is autokilled. Try resubmitting using the youtube.com version of the link.
Reply on news.ycombinator.com