Hacker News new | ask | show | jobs
Ur - Adam Chlipala - Video from Emerging Languages Camp 2010 (odz.mx)
1 points by randquistcp 5753 days ago