idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Fix inversion_ex3 #38

Open yurrriq opened 7 years ago

yurrriq commented 7 years ago

Figure out why 944bc3ca4dee87120682cbce20134caa0b15808a breaks the PDF build.