Hacker News Comments on
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Curry On!
·
Youtube
·
18
HN points
·
0
HN comments
HN Theater has aggregated all Hacker News stories and comments that mention Curry On!'s video "David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On".
Youtube Summary
HN Theater Rankings
- This course is unranked · view top recommended courses