Comment by zermelo44
The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables.
How did you achieve this?
The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables.
How did you achieve this?
Thanks, that's all due to my co-author. Here's what we used: https://news.ycombinator.com/item?id=41589728 (link is to a post from @msy)
from a quick look, I believe the code for the page is here: https://github.com/g-trees/g_trees
Aljoscha initially built the macro framework for the specs on willowprotocol.org