Commit 19efe83

authored

Merge pull request #28 from idris-hackers/feature/indprop/edit

IndProp: a few edits

2 parents 0e19b18 + c98d269 commit 19efe83Copy full SHA for 19efe83

2 files changed

+255

-156

lines changed

src
- IndProp.lidr
- book.tex

2 files changed

+255

-156

lines changed

Comments

(0)