ec24-tips / ec24-tips.github.io

Local tips for Eurocrypt 2024
https://ec24-tips.github.io/
0 stars 4 forks source link

Simplify internal linking #10

Open defeo opened 5 months ago

defeo commented 5 months ago

Currently, the description of some place may link to some other place by using something like this:

"Nice place. See also <a href="#other-place">other place</a>."

It would be nice if one could write

"Nice place. See also #other-place."

and the code automatically detected the hash, looked for the corresponding layer in app.#layers and replaced it with the corresponding a tag. This is made more complex by the fact that when "some place" is first inserted into app.#layers, other-place may not have been inserted yet, so the substitution must be done lazily.