[Haskell-cafe] "Computational Category Theory" in Haskell

Derek Elkins derek.a.elkins at gmail.com
Mon Feb 25 18:20:25 EST 2008


On Mon, 2008-02-25 at 12:27 -0800, Dan Weston wrote:
> Has anyone already ported to Haskell the ML code in Rydeheard and 
> Burstall, "Computational Category Theory"?

This isn't very helpful, but I did several years ago, but I've since
lost the code.  It's straightforward if tedious to do.



More information about the Haskell-Cafe mailing list