tag:blogger.com,1999:blog-29146216.post8447999464160409666..comments2013-10-31T12:52:35.227-07:00Comments on How to Spy on Ryan.: Fun With Absurdist LogicUnknownnoreply@blogger.comBlogger1125tag:blogger.com,1999:blog-29146216.post-54804320003581077322008-03-11T22:31:00.000-07:002008-03-11T22:31:00.000-07:00This reminds me of that constructive logic class a...This reminds me of that constructive logic class and specifically tutch, that proof checking program. Such fond memories... ;-)Anonymousnoreply@blogger.com