Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic
Subject: Re: Honoring Raymond Smullyan
Date: Wed, 8 Jan 2025 19:25:19 +0100
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <vlmfuf$2dkpc$4@dont-email.me>
References: <vlkfq7$1vh4j$1@solani.org> <vlkrge$2dkpc$1@dont-email.me>
 <vllgli$2039r$1@solani.org> <vlmdk8$2dkpd$6@dont-email.me>
 <vlme6h$2dkpc$3@dont-email.me> <vlmfng$2cddn$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 08 Jan 2025 19:25:19 +0100 (CET)
Injection-Info: dont-email.me; posting-host="2a46dd651168680e2ad36d621d0ac75a";
	logging-data="2544428"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18IMSvaS9gxZWe0Sqq5qUXJanKqwSbPcEQ="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:TJaVLh76LXgiqwoukT5Dwl4xTZA=
Content-Language: en-GB
In-Reply-To: <vlmfng$2cddn$2@solani.org>
Bytes: 1467

On 08/01/2025 19:21, Mild Shock wrote:
> Julio wrote:
> 
>  > Why do you care so much about simply-typed?
> 
> What makes you think I care about simply-typed?
> It was part of the MSE question you moron:

> Can't you stay on topic?

Define topic.

-Julio