plfa.github.io icon indicating copy to clipboard operation
plfa.github.io copied to clipboard
verified publisher icon plfa

Add descriptions to anchor links

Open wenkokke opened this issue 3 years ago • 0 comments

  • [ ] Add descriptions to all footnote links, as done in 5827bc3
  • [ ] Automatically add descriptions to links generated by Agda

wenkokke avatar Jun 15 '22 11:06 wenkokke