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.
1 to 6 of 6
What email? I don’t see it in the diff.
Sorry, the first link used to be a link to an attachment in an Email. I have changed it to the Email itself because it was causing the page to break.
Can you paste that link here, because I cannot see it on the page.
EDIT: oh, I see, you mean https://groups.google.com/forum/#!topic/homotopytypetheory/OraMqbnCYy8/discussion (but it’s not a pdf anymore, so I’ll edit the link text)
I think the point of this article is something that Rijke was working on in his thesis (which I believe is still under construction). There is however an early version on his github page if you can be bothered to compile the LaTeX. I had a skim through, but didn’t understand much. But maintiaining the links on this page is good enough.
1 to 6 of 6