clayrat opened this issue 7 years ago · 1 comments
See #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 :)