Re: Accessing The Command Line

Liste des GroupesRevenir à cl ada 
Sujet : Re: Accessing The Command Line
De : mailbox (at) *nospam* dmitry-kazakov.de (Dmitry A. Kazakov)
Groupes : comp.lang.ada
Date : 04. Jul 2024, 18:15:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v66hrq$2qv7r$1@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 2024-07-04 03:50, Lawrence D'Oliveiro wrote:
On Wed, 03 Jul 2024 18:16:01 -0700, Paul Rubin wrote:

printf for some people is one of the motivations for dependent types.
 I wonder how you would express such a thing in an Ada-friendly fashion?
For example:
http://www.dmitry-kazakov.de/ada/strings_edit.htm
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Date Sujet#  Auteur
4 Jul 24 * Accessing The Command Line11Lawrence D'Oliveiro
4 Jul 24 +* Re: Accessing The Command Line4Paul Rubin
4 Jul 24 i`* Re: Accessing The Command Line3Lawrence D'Oliveiro
4 Jul 24 i +- Re: Accessing The Command Line1Rod Kay
4 Jul 24 i `- Re: Accessing The Command Line1Dmitry A. Kazakov
4 Jul 24 +* Re: Accessing The Command Line3Jeffrey R.Carter
5 Jul 24 i`* Re: Accessing The Command Line2Lawrence D'Oliveiro
5 Jul 24 i `- Re: Accessing The Command Line1J-P. Rosen
4 Jul 24 +- Re: Accessing The Command Line1Dmitry A. Kazakov
4 Jul 24 `* Re: Accessing The Command Line2Ben Bacarisse
5 Jul 24  `- Re: Accessing The Command Line1Paul Rubin

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal