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.
The dead link to Lawvere’s message at
http://permalink.gmane.org/gmane.science.mathematics.categories/6961
can probably easily be fixed by anyone who remembers how the root URL has changed (?), but looking up the message as archived by the WaybackMachine here shows that it is rather brief and maybe not actually worth linking to here. So I have just deleted the link.
1 to 2 of 2