tag:blogger.com,1999:blog-6839602.post4220869469690788347..comments2007-06-11T20:45:09.975-07:00Comments on Everyone Else is Crazy: Conor's Rule?Jim Applehttp://www.blogger.com/profile/11080395413026172939noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-6839602.post-44831877137797587802007-03-07T11:42:00.000-08:002007-03-07T11:42:00.000-08:00Ever use Coq? I really like it as a total functio...Ever use Coq? I really like it as a total functional programming platform with a serious dependent type system. <BR/><BR/>I haven't really gotten good enough at Epigram to have an opinion.Jacobianhttp://www.blogger.com/profile/14899896537888421449noreply@blogger.com