3 ms·
An interesting ICFP video (http://www.vimeo.com/6615365 http://www.vimeo.com/6615365) I watched yesterday* about proofs, code, and teaching introductory classes
by arebop 17y ago
An interesting ICFP video (http://www.vimeo.com/6615365 http://www.vimeo.com/6615365) I watched yesterday* about proofs, code, and teaching introductory classes seems relevant.
*linked from http://news.ycombinator.com/item?id=862686 http://news.ycombinator.com/item?id=862686