tag:blogger.com,1999:blog-6839602.post4220869469690788347..comments2022-11-09T02:47:35.885-08: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.Gavin Mendel-Gleasonhttps://www.blogger.com/profile/14899896537888421449noreply@blogger.com