software-foundations
software-foundations copied to clipboard
Figure out what to do with IndPrinciples
See https://github.com/idris-hackers/software-foundations/pull/32
Ok, my current take is simply to write out all the induction principles by hand there. Then we should find some Idris expert to edit the text and describe how all of that relates to Idris :)