software-foundations icon indicating copy to clipboard operation
software-foundations copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Figure out what to do with IndPrinciples

Open clayrat opened this issue 7 years ago • 1 comments

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

clayrat avatar Aug 03 '17 10:08 clayrat

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

clayrat avatar Aug 07 '17 14:08 clayrat