[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>  
wrote:

> 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.

Regards,
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.
http://folding.stanford.edu/


http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--


More information about the Haskell-Cafe mailing list