On Mon, 2008-07-14 at 13:00 -0500, Nathan Bloomfield wrote: > There's something I want to do with Haskell, and after tinkering for a > while I think it's not possible. Before giving up entirely, I thought > I'd try this mailing list. > > I'm working on an abstract algebra library, using the "types are sets" > strategy. For the algebraists out there, I'm trying to implement as much as I > can of "Abstract Algebra" by Dummit & Foote in Haskell. I've got a Ring class > definition that looks approximately like >
I haven't read most of the rest of this email, but you might want to look at Serge Mechveliani's DoCon library if you haven't already: http://www.haskell.org/docon/ > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
