From: Mehdi Saada <00120260a@gmail.com>
Subject: Re: questions on input/output
Date: Sat, 6 Feb 2021 10:55:01 -0800 (PST) [thread overview]
Message-ID: <5d69f5a4-6666-4d13-810d-cb82032bff22n@googlegroups.com> (raw)
In-Reply-To: <87tuqpm5ig.fsf@nightsong.com>
> Why do you want to use Ada (instead of, say, Python) if you don't like
> proving things?
> If nothing else, understanding what proofs really are might make you
> more comfortable with them.
Come on... I don't "dislike" them, it's just that focusing on formalism right now isn't very EFFICIENT, pedagogy-wise !
Or I would have started right away with effin' SPARK and proof theory. Would you suggest that to beginners :-D ?
I have the enderton, it's on my mind.
next prev parent reply other threads:[~2021-02-06 18:55 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-05 22:50 questions on input/output Mehdi Saada
2021-02-05 23:36 ` Jeffrey R. Carter
2021-02-06 0:59 ` Mehdi Saada
2021-02-06 1:34 ` Mehdi Saada
2021-02-06 2:13 ` Paul Rubin
2021-02-06 7:21 ` J-P. Rosen
2021-02-06 9:36 ` Dmitry A. Kazakov
2021-02-06 10:38 ` AdaMagica
2021-02-06 11:37 ` Mehdi Saada
2021-02-06 11:51 ` Mehdi Saada
2021-02-06 18:10 ` Paul Rubin
2021-02-06 18:55 ` Mehdi Saada [this message]
2021-02-06 20:26 ` Paul Rubin
2021-02-07 8:52 ` Mehdi Saada
2021-02-07 20:38 ` Paul Rubin
2021-02-07 9:55 ` Gautier write-only address
2021-02-07 22:54 ` Mehdi Saada
2021-02-06 11:47 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox