http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/ Mathematics for computers Mon, 30 Jan 2012 07:14:48 +0000 hourly 1 http://wordpress.org/?v=3.2-beta2-18055 http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/comment-page-1/#comment-13295 James McKinna Wed, 17 Mar 2010 19:28:25 +0000 http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/#comment-13295 Got the fixed version now. Thanks for being so efficient. Got the fixed version now. Thanks for being so efficient.

]]> http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/comment-page-1/#comment-13294 Andrej Bauer Wed, 17 Mar 2010 16:22:40 +0000 http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/#comment-13294 Thank you for spotting this. I fixed it. If you are still getting a corrupted file, it is because your browser is holding te old version in cache. Thank you for spotting this. I fixed it. If you are still getting a corrupted file, it is because your browser is holding te old version in cache.

]]> http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/comment-page-1/#comment-13293 James McKinna Wed, 17 Mar 2010 16:15:19 +0000 http://math.andrej.com/2007/01/21/rz-a-tool-for-bringing-constructive-and-computable-mathematics-closer-to-programming-practice/#comment-13293 The slides appear to have been corrupted, or so says my Acrobat Reader (Version 8). The slides appear to have been corrupted, or so says my Acrobat Reader (Version 8).

]]>