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

Bernd Brassel bbr at informatik.uni-kiel.de
Mon Aug 24 13:59:45 EDT 2009

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


Although not directly mentioned in the proposal, there will be a lot  
of "Converting typeset mathematics into Haskell" going on.

Kind regards

PS: And just in case I did it wrong again; this is the message I  
wanted to reply to


More information about the Haskell-Cafe mailing list