Commit 6a67670

Alex Gryzlov

committed

WIP IndProp

1 parent f5a0b45 commit 6a67670Copy full SHA for 6a67670

1 file changed

+498

-277

lines changed

src
- IndProp.lidr

1 file changed

+498

-277

lines changed

Comments

(0)