[Haskell-cafe] Broken linkr in wiki for Ivo

Henk-Jan van Tuyl hjgtuyl at chello.nl
Wed Oct 1 22:35:14 UTC 2014

On Wed, 01 Oct 2014 23:01:07 +0200, Evan Rowley <rowley.evan at gmail.com>  

> The theorem provers page has a link for Ivor at the bottom:
> http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers
> This current link is dead: http://www.dcs.st-and.ac.uk/~eb/ivor.php
> This new link works: http://eb.host.cs.st-andrews.ac.uk/ivor.php

I've updated the page. If you request a user id[0] for HaskellWiki, you  
can make changes like this yourself, with about the same amount of work as  
writing an email.

Henk-Jan van Tuyl

[0] http://www.haskell.org/haskellwiki/index.php?title=Special:UserLogin

Folding at home
What if you could share your unused computer power to help find a cure? In  
just 5 minutes you can join the world's biggest networked computer and get  
us closer sooner. Watch the video.

Haskell programming

More information about the Haskell-Cafe mailing list