On Sat, 13 Sep 2008 21:06:21 -0700, Daryoush Mehrtash
[EMAIL PROTECTED] wrote:
I have a newbie question Does theorem proofs have a use for an
application? Take for example the IRC bot example (
http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed below. Is
there any insight to
A more difficult question is: how do I know that the formal
specification I've written for my program is the right one? Tools can
fairly easily check that your programs conform to a given
specification, but they cannot (to my knowledge) check that your
specification says exactly what you
On Mon, 15 Sep 2008 10:32:44 -0400
Stefan Monnier [EMAIL PROTECTED] wrote:
A more difficult question is: how do I know that the formal
specification I've written for my program is the right one? Tools
can fairly easily check that your programs conform to a given
specification, but they