Hi Will,
I was wondering, Zeno capable of proving just equational statements, or
is it able to prove more general statements about programs? In
particular, it would be interesting if Zeno would be able to prove that
a function is total by verifying that it uses only structural
Hi all,
I just installed the Haskell Platform, and when I try cabal update, I
have the following output:
Downloading the latest package list from hackage.haskell.org
cabal: failed
This error does not give me information about what is wrong. Has anyone
had this error before?
I would
On 13 November 2010 19:48, Daniel Díaz danield...@asofilak.es wrote:
Hi all,
I just installed the Haskell Platform, and when I try cabal update, I
have the following output:
Downloading the latest package list from hackage.haskell.org
cabal: failed
This error does not give me information
El Sab, 13 de Noviembre de 2010, 10:33 am, Ivan Lazar Miljenovic escribió:
On 13 November 2010 19:48, Daniel Díaz danield...@asofilak.es wrote:
Hi all,
I just installed the Haskell Platform, and when I try cabal update, I
have the following output:
Downloading the latest package list from
I guess I'm not on the list that received the original announce. But
I have to say, I played with the demo (
http://www.doc.ic.ac.uk/~ws506/tryzeno/ ). Wow! I am delighted and
impressed, and I think this is a huge step forward. Great work!
Luke
On Sat, Nov 13, 2010 at 1:31 AM, Petr Pudlak
On Sat, Nov 13, 2010 at 08:33:18PM +1100, Ivan Lazar Miljenovic wrote:
I would guess that it's related to
http://www.reddit.com/r/haskell/comments/e5db7/alert_hackage_downtime_tomorrow_0600_1200_pst/
That would be 14:00 - 20:00 UTC, wouldn't it?
___
Andrew Coppin wrote:
[...] if you could send a block of code from one PC to another to
execute it remotely.
Eden can do this.
http://www.mathematik.uni-marburg.de/~eden/
Eden is a distributed Haskell: You run multiple copies of the same
binary on different machines, and you have the (#)
Will Sonnex wrote:
Zeno is a fully automated inductive theorem proving tool for Haskell programs.
I tried it via the web interface, and it seems to be quite cool. Good work!
However:
You can express a property such as takeWhile p xs ++ dropWhile p xs
=== xs and it will prove it to be true
