Toot

Written by Jeremy Gibbons on 2024-10-15 at 15:41

I know that for some people, a linear order is expressed in terms of < rather than <=. But that doesn't matter classically.

=> More informations about this toot | View the thread | More toots from jer_gib@functional.cafe

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113312195496407251
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
230.837729 milliseconds
Gemini-to-HTML Time
0.396443 milliseconds

This content has been proxied by September (3851b).