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 page Initiality Project - Type Theory - Pi-types looks fine on its own, but when included into Initiality Project - Type Theory and Initiality Project - Pi-types there is a lot of extra html/tex garbage. Any ideas what’s wrong?
My apologies, I am snowed under with other commitments for a few days. Will take a look if I get the chance, but it might be Wednesday before I can take a proper look. There are definitely occasional issues with includes coming from the interaction between Maruku and the new renderer though; I am planning to remove Maruku.
Thanks for looking into it!
1 to 4 of 4