|
From: | Stefan Monnier |
Subject: | Re: [OFFTOPIC] Re: Appending lists |
Date: | Thu, 17 Jun 2021 02:29:04 -0400 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Arthur Miller [2021-06-17 08:09:08] wrote: > Can you anyhow apply type theory to a definition of time, without refering > to time itself? I think it depends on when you ask the question, Stefan
[Prev in Thread] | Current Thread | [Next in Thread] |