From: <tomas@tuxteam.de>
To: Stefan Monnier <monnier@iro.umontreal.ca>
Cc: help-gnu-emacs@gnu.org
Subject: Re: [OFFTOPIC] Re: Appending lists
Date: Thu, 17 Jun 2021 09:51:40 +0200 [thread overview]
Message-ID: <20210617075140.GF16310@tuxteam.de> (raw)
In-Reply-To: <jwvk0mti5vk.fsf-monnier+emacs@gnu.org>
[-- Attachment #1: Type: text/plain, Size: 649 bytes --]
On Wed, Jun 16, 2021 at 10:41:18PM -0400, Stefan Monnier via Users list for the GNU Emacs text editor wrote:
> >>>> Just to show that you should never say never:
> >>> Hey, that's cheating :-)
> >> Impredicativity is borderline, indeed.
> > Impredicativity, what's that, recursion?
>
> (with-lecture-mode
:-)
> Kind of, except the cycle is not "definition refers to itself" (the
> "traditional" form of recursion) but rather "definition can be applied
> to itself" as in the first sentence quoted above ;-)
...of that kind "All type theorists shave those philosophers who don't
shave themselves" or some such ;-)
Cheers
- t
[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 198 bytes --]
next prev parent reply other threads:[~2021-06-17 7:51 UTC|newest]
Thread overview: 83+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-06-14 16:36 Appending lists Pierpaolo Bernardi
2021-06-14 16:40 ` henri-biard
2021-06-14 18:21 ` Alexandr Vityazev
2021-06-15 0:46 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-15 8:27 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-15 9:18 ` tomas
2021-06-16 1:11 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 7:28 ` tomas
2021-06-16 9:13 ` Jean Louis
2021-06-16 9:32 ` tomas
2021-06-16 10:55 ` Jean Louis
2021-06-16 16:44 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 18:00 ` Using Emacs for business Jean Louis
2021-06-16 22:59 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 23:39 ` Jean Louis
2021-06-17 0:16 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-17 7:09 ` Jean Louis
2021-07-06 3:22 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 20:23 ` Jean Louis
2021-07-06 20:41 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-07 0:18 ` Jean Louis
2021-06-16 9:19 ` Appending lists Jean Louis
2021-06-16 9:35 ` tomas
2021-06-16 10:57 ` Jean Louis
2021-06-16 16:55 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 11:16 ` Yuri Khan
2021-06-16 11:30 ` Jean Louis
2021-06-16 11:54 ` tomas
2021-06-16 17:31 ` Jean Louis
2021-06-16 23:13 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 23:41 ` Jean Louis
2021-06-16 13:01 ` Philip Kaludercic
2021-06-16 16:59 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 17:36 ` Jean Louis
2021-06-16 18:54 ` tomas
2021-06-16 21:24 ` Philip Kaludercic
2021-06-16 23:25 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-17 7:16 ` tomas
2021-06-17 7:14 ` tomas
2021-06-16 23:24 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 23:19 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 11:49 ` [OT] Underground (was: Appending lists) tomas
2021-06-19 0:10 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 16:54 ` Appending lists Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 18:49 ` tomas
2021-06-16 21:40 ` Jean Louis
2021-06-16 22:35 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-16 23:02 ` Jean Louis
2021-06-17 0:00 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 23:44 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-17 7:20 ` tomas
2021-06-16 23:39 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 23:31 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 14:22 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-16 15:11 ` tomas
2021-06-16 15:31 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-16 15:48 ` tomas
2021-06-16 23:04 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-17 2:41 ` [OFFTOPIC] " Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-17 6:09 ` Arthur Miller
2021-06-17 6:29 ` Stefan Monnier
2021-06-17 23:53 ` Arthur Miller
2021-06-18 14:15 ` Stefan Monnier
2021-06-19 0:04 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-19 1:20 ` Eduardo Ochs
2021-06-19 2:18 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-19 2:43 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-21 15:07 ` Arthur Miller
2021-06-17 7:51 ` tomas [this message]
2021-06-17 7:50 ` tomas
2021-06-18 23:47 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-19 2:35 ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-19 6:52 ` tomas
2021-06-16 23:03 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 16:42 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 16:55 ` [External] : " Drew Adams
2021-06-16 17:06 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-16 17:54 ` Drew Adams
2021-06-16 23:49 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-06-17 7:54 ` tomas
2021-06-17 12:41 ` [OFFTOPIC] " Stefan Monnier via Users list for the GNU Emacs text editor
2021-06-17 14:19 ` tomas
2021-06-18 23:55 ` [External] : " Emanuel Berg via Users list for the GNU Emacs text editor
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210617075140.GF16310@tuxteam.de \
--to=tomas@tuxteam.de \
--cc=help-gnu-emacs@gnu.org \
--cc=monnier@iro.umontreal.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).