Subsets, clauses, sounds interesting. I'm not sure I can do it, but I'll be happy to take a look.
I have been using Haskell for over ten years now, and I'm starting to get the hang of it. I was a math and English major and graduated from Caltech in 1975. I've been programming since then in Fortran, Forth, Perl, and most recently, Haskell. I would be interested in your project provided the work required is in line with your budget. Send me the details and I'll let you know.
I have been using Haskell for over ten years now, and still haven't really figured it all out yet, but I'm getting there. I was a math and English major and graduated from Caltech in 1975. I've been programming since then in Fortran, Forth, Perl, and most recently, Haskell.