bug-bison
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bison function argument style


From: Akim Demaille
Subject: Re: Bison function argument style
Date: Wed, 20 Nov 2002 12:35:30 +0100
User-agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i386-pc-linux-gnu)

 Paul> I think Leslie Lamport has had something to say about proof, at least,
 Paul> and possibly notation.

Yep, he did:

 http://research.microsoft.com/users/lamport/pubs/lamport-how-to-write.ps.Z

He also wrote something about formulae, but it doesn't appear to be
public.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]