|
|
|
|
|
by 082349872349872
580 days ago
|
|
Heh, not that any of us would be willing to tolerate getting stuff back in corrupted order ;) If the constant factors aren't intolerable, it seems like one really ought to be able to do something with the fact that corruption (galois connection connexion?) only happens in one direction (corruption monad as closure)... Lagniappe: https://www.youtube.com/watch?v=_yExwkQYcp0 |
|