Re: Multi-sorted categories? (Upside-down is a euphemism.)

From	Julio Di Egidio <julio@diegidio.name>
Newsgroups	sci.math, comp.programming
Subject	Re: Multi-sorted categories? (Upside-down is a euphemism.)
Date	2025-08-15 12:50 +0200
Organization	A noiseless patient Spider
Message-ID	<107n3dc$11r97$1@dont-email.me> (permalink)
References	<1077s87$18o5t$1@dont-email.me> <zbKdnVZG0aEAeQP1nZ2dnZfqn_udnZ2d@giganews.com>

Cross-posted to 2 groups.

Show all headers | View raw

On 15/08/2025 09:41, c186282 wrote:

>    infinite number of fields - recursive.

"Recursive" doesn't cut it, as I have said somewhere.

>    Limit - 640kb of mem.

Eh, sweet memories.

>    NOT sure I have a copy of that alas ...
>    but I could look .......

I don't see the relevance, but by all means as you see
fit: as long as it's not halt deciders I am sure we are
making progress...

-Julio

Back to comp.programming | Previous | Next — Previous in thread | Find similar

Thread

Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 18:16 +0200
  Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 10:06 -0700
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 19:31 +0200
      Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 10:47 -0700
        Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 20:35 +0200
          Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 19:21 -0700
  Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-11 15:33 +0200
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-12 20:18 +0200
  Re: Multi-sorted categories? (Upside-down is a euphemism.) c186282 <c186282@nnada.net> - 2025-08-15 03:41 -0400
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-15 12:50 +0200

csiph-web