MetaprogAgda icon indicating copy to clipboard operation
MetaprogAgda copied to clipboard

Published 20 hours ago • verified publisher icon pigworker

\usepackage{bookmark} for nicer navigation

Open Blaisorblade opened this issue 8 years ago • 0 comments

This makes the PDF a lot more usable, so maybe others care too? 😄

Blaisorblade avatar May 27 '16 19:05 Blaisorblade