idris-hackers/software-foundations

Fix inversion_ex3

yurrriq opened this issue · 0 comments

yurrriq commented

Figure out why 944bc3c breaks the PDF build.