Login
Roast topics
Find topics
Find it!
From:
The Brown PLT Blog
(Uncensored)
subscribe
Mechanized LambdaJS
http://blog.brownplt.org/2012/06/04/lambdajs-coq.html
links
backlinks
Roast topics
Find topics
Roast it!
See the discussion
