Hi all,
I'm trying to go through the paper Beautiful Differentiation by Conal
Elliott and got a bit stuck. So I decided to download the VectorSpace
package, which as far as I know implements the paper, and just try and play
around with it. Unfortunately when I tried the simple examples at the
be
On 3 August 2010 01:34, Richard O'Keefe wrote:
> There's a thing I'm still finding extremely hard about monads,
> and that's how to get into the frame of mind where inventing
> things like Monad and Applicative and Arrows is something I could
> do myself. Functor, yes, I could have invented Func