[Haskell-cafe] Broken linkr in wiki for Ivo

Evan Rowley rowley.evan at gmail.com
Wed Oct 1 21:01:07 UTC 2014


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

-- 

-- 
 - EJR
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141001/2b826a46/attachment.html>


More information about the Haskell-Cafe mailing list