Post #1846824
2026-04-26 18:04 UTC
@jonmsterling
What's the issue with doing this style of reasoning inside a topos that has access to a local state monad?
@carloangiuli @totbwf
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-04-26 18:04
@pamorim @carloangiuli @totbwf It could be ok!