|
|
Re: Formal Proof Language Example - Human-Readable?
Posted:
Jun 24, 2009 3:46 AM
|
|
In article
<5295f40e-3b94-4b65-b5b1-9d8acc0ae0da@r16g2000vbn.googlegroups.com>,
Spiros Bousbouras <spibou@gmail.com> wrote:
> 3) I don't like that you are using ";" for conjunction. The
> established term is "and" and I see no reason to change it.
> Since I also do programming I can live with & or && but not ;.
He doesn't appear to be using ";" for conjunction. He's using it for
statement termination, like a period in written English. If he were
using it for conjunction, the last line in each group would not end with
";".
--
--Tim Smith
|
|
