From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e61c8636ef35379d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-21 03:59:09 PST Path: supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!newsfeed.stanford.edu!xfer10.netnews.com!netnews.com!cpk-news-hub1.bbnplanet.com!news.gtei.net!newsfeed.dacom.co.kr!intgwlon.nntp.telstra.net!news-server.bigpond.net.au!not-for-mail From: Dale Stanbrough Newsgroups: comp.lang.ada Subject: Re: Examples in Docs, was Re: Escape Sequences in Strings Organization: RMIT References: <93objj$guk$1@nnrp1.deja.com> <93q77h$rr6$1@nnrp1.deja.com> <940f9j$nj2$1@nnrp1.deja.com> <940n0u$tnf$1@nnrp1.deja.com> <942brr$b0t$1@nnrp1.deja.com> <942vqr$sd0$1@nnrp1.deja.com> <945oq2$81c$1@nnrp1.deja.com> <947hj1$o1r$1@nnrp1.deja.com> User-Agent: MT-NewsWatcher/3.0 (PPC) Message-ID: Date: Sun, 21 Jan 2001 12:05:34 GMT NNTP-Posting-Host: 144.132.95.65 X-Complaints-To: news@bigpond.net.au X-Trace: news-server.bigpond.net.au 980078734 144.132.95.65 (Sun, 21 Jan 2001 23:05:34 EST) NNTP-Posting-Date: Sun, 21 Jan 2001 23:05:34 EST Xref: supernews.google.com comp.lang.ada:4257 Date: 2001-01-21T12:05:34+00:00 List-Id: Robert Dewar wrote: > ... the RM, especially trivial examples that assume you do not > know the language at all (which is the nature of most of the > current RM examples -- they are NOT there to illustrate tricky > points in the language). It's interesting to note that English law, and countries that have inherited this model, rely on case law to nail down the semantics of the laws that are made via examples. Still, I suppose we shouldn't hold our breath waiting for a full mathematical notation of the next taxation law semantics :-). Dale