Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I was looking at diff/adjoint lifting theorem (out of curiosity) and followed the link monadic; this brought me to diff/monadic functor, which is cute, but obviously not quite natural.
Bug? Feature? Easter egg?
(incidentally, as I discovered in previewing this note, those links get sanitized "/"->"%2F" but they load the right thing anyways. ^^)
It’s certainly supposed to be a feature. I’ll use it if I’ve been editing a series of related pages, going from one diff to the next by clicking on the links that lead from one page to the next.
Good, good. In unexpected vs. useful, useful wins easily.
1 to 3 of 3