Toot

Written by ∀ {α}, ∃ bugaevc := by rfl on 2025-01-24 at 05:21

@yosh or maybe rather require an explicit continue as a last statement in a loop body (as in, require the loop body to diverge)

=> More informations about this toot | View the thread | More toots from bugaevc@floss.social

Mentions

=> View yosh@toot.yosh.is profile

Tags

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

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