Commit 13fdd3c

Alex Gryzlov

committed

first draft of IndPrinciples

1 parent d3cb992 commit 13fdd3cCopy full SHA for 13fdd3c

1 file changed

+208

-188

lines changed

src
- IndPrinciples.lidr

1 file changed

+208

-188

lines changed

Comments

(0)