Post #1780174
2026-04-28 18:11 UTC
💭 i should use "congratulations or sorry that happened" to illustrate the difference between internal and external choice in linear logic
Replies (2)
-
@wordshaper@weatherishappening.network 2026-04-28 18:13
@chrisamaphone@hci.social Ah, congratudolences. I know that one.
-
@jcreed@mastodon.social 2026-04-28 19:01
@chrisamaphone@hci.social "i ain't reading all that" = propositional truncation modality