tag:blogger.com,1999:blog-2844521419334459144.post6886078177644541800..comments2023-06-30T06:45:52.513-07:00Comments on Muad`Dib: Why is the derivative of a type a zipperMuad`Dibhttp://www.blogger.com/profile/01896828471974774438noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-2844521419334459144.post-40017218625531233332010-07-15T10:06:29.105-07:002010-07-15T10:06:29.105-07:00As a tiny public service, the link in the post is ...As a tiny public service, the link in the post is broken -- it should probably be:<br /><br />http://www.cs.nott.ac.uk/~ctm/diff.pdf<br /><br />(Hey, anyway, if you're still around, feel free to drop me a line sometime... your presence is missed.)cpresseyhttp://catseye.tc/noreply@blogger.com