Commit f5a0b45

Alex Gryzlov

committed

WIP IndProp

1 parent 3176da6 commit f5a0b45Copy full SHA for f5a0b45

1 file changed

+430

-289

lines changed

src
- IndProp.lidr

1 file changed

+430

-289

lines changed

Comments

(0)