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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,a5bb832e32ac7957,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!not-for-mail From: =?utf-8?Q?Hibou57_=28Yannick_Duch=C3=AAne?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: FunnelWeb's tutorial comes with an Ada example Date: Sat, 13 Feb 2010 13:08:13 +0100 Organization: At Home Message-ID: References: NNTP-Posting-Host: V65tKfW/5y2JUu9nLxgCDw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.10 (Win32) Xref: g2news1.google.com comp.lang.ada:9195 Date: 2010-02-13T13:08:13+01:00 List-Id: ---- Message Usenet r=C3=A9exp=C3=A9di=C3=A9 ---- De: "Hibou57 (Yannick Duch=C3=AAne)" Groupe de discussion: fr.comp.lang.ada Sujet: FunnelWeb's tutorial comes with an Ada example Date: Sat, 13 Feb 2010 12:59:05 +0100 URL: message:// Hello you and you, You may know about literate programing (weither or not you use it). If s= o, you may be interested about FunnelWeb, old, but there. I was having a quick look at its tutorial, and when I arrived at part 4, =E2=80=9C A Co= mplete Example =E2=80=9D, I said =E2=80=9C Ouch, which language is using with/u= se like Ada ? =E2=80=9D. Then I looked again, and Yes, the tutorial comes with an Ada example. Short, but there. http://www.ross.net/funnelweb/tutorial/example.html It seems at the time, this same FunnelWeb was used (think the tutorial comes with an Ada example in this context) to create a data integrity check product (as claimed on the home page). Nice to see these three things together, isn't it ? -- = No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just= = not lucky