idris-hackers/software-foundations

Resolve todonotes issues

yurrriq opened this issue · 1 comments

For example: 5b014ec removes some innocent-looking...

\todo[inline]{...}

... calls that broke the PDF build on my system.

Looks like maybe the approach is to set an appropriate caption and use a minipage.