http://comonad.com/reader/2006/hello-world/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2006/hello-world/comment-page-1/#comment-2 Edward Kmett Wed, 18 Oct 2006 19:12:21 +0000 http://comonad.com/reader/2006/10/17/welcome/#comment-2 If at first you don't succeed: blog, blog again. If at first you don’t succeed: blog, blog again.

]]>