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

2009-08-25 Thread Henning Thielemann 
Bernd Brassel schrieb:
 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.

For completeness I want to add a pointer to other projects supporting
the semantic math web:
  http://kwarc.info/kohlhase/research.html

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

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

2009-08-24 Thread 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
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe