Sometimes the synchronicity of events is eery. Incidentally I have
just written a proposal for just such a project.
You can have a look at it at
http://www-ps.informatik.uni-kiel.de/~bbr/WebOfProofs.html
Although not directly mentioned in the proposal, there will be a lot
of "Converting typeset mathematics into Haskell" going on.
Kind regards
Bernd
PS: And just in case I did it wrong again; this is the message I
wanted to reply to
http://www.haskell.org/pipermail/haskell-cafe/2009-August/065572.html
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
