[Haskell-cafe] A question about algebra and dependent typing

Derek Elkins derek.a.elkins at gmail.com
Mon Jul 14 17:58:06 EDT 2008

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:

More information about the Haskell-Cafe mailing list