|
| 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] |