[Haskell-cafe] Re: Converting typeset mathematics into Haskell ?

[Bernd Brassel]

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