Commit 2936a86

authored

Merge pull request #32 from idris-hackers/indprinciples

IndPrinciples

2 parents cf96e3d + 40944fa commit 2936a86Copy full SHA for 2936a86

1 file changed

+692

-0

lines changed

src
- IndPrinciples.lidr

1 file changed

+692

-0

lines changed

Comments

(0)