Commit 2a4a1b8

Alex Gryzlov

committed

IndProp fixes

1 parent 5896027 commit 2a4a1b8Copy full SHA for 2a4a1b8

1 file changed

+167

-168

lines changed

src
- IndProp.lidr

1 file changed

+167

-168

lines changed

Comments

(0)