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.
These are used by Sridhar Ramesh to great expository effect at (n,r)-category.
sorry, I don't see what this remark refers to. What should we look at? Sridhar Ramesh did what exactly, where? :-)
He edited that page (twice yesterday). But it was never announced here.
ah, now I see it. this major addition and this polishing of it.
It's better than the habit of not making changes at alll! (^_^)
1 to 6 of 6