Ur - Adam Chlipala - Video from Emerging Languages Camp 2010odz.mx1 point·randquistcp··0 commentsOpen articleSaveView on HN