search

idris-hackers / software-foundations

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

Figure out what to do with IndPrinciples #42

Open clayrat opened 7 years ago

clayrat commented 7 years ago

See https://github.com/idris-hackers/software-foundations/pull/32

clayrat commented 7 years ago

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 :)