Comments on: Finger Trees http://comonad.com/reader/2010/finger-trees/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 By: Edward Kmett http://comonad.com/reader/2010/finger-trees/comment-page-1/#comment-16531 Edward Kmett Thu, 29 Apr 2010 16:06:44 +0000 http://comonad.com/reader/?p=174#comment-16531 @Dougal: You'll still need to use mappend to define them, but a <> b -- is so much easier on the eyes than a `mappend` b when it comes to using them. @Dougal:

You’ll still need to use mappend to define them, but a <> b — is so much easier on the eyes than a `mappend` b when it comes to using them.

]]> By: Dougal Stanton http://comonad.com/reader/2010/finger-trees/comment-page-1/#comment-16529 Dougal Stanton Thu, 29 Apr 2010 15:08:07 +0000 http://comonad.com/reader/?p=174#comment-16529 I'm sure it's not a good sign that I was very happy to see the note "(<>) is going into base!" in your slides. I will be so glad not to use mappend again :-) I’m sure it’s not a good sign that I was very happy to see the note “(<>) is going into base!” in your slides. I will be so glad not to use mappend again :-)

]]>