Commit d3cb992

Alex Gryzlov

committed

WIP IndPrinciples

1 parent e602e92 commit d3cb992Copy full SHA for d3cb992

1 file changed

+172

-174

lines changed

src
- IndPrinciples.lidr

1 file changed

+172

-174

lines changed

Comments

(0)