Commit b195470

Alex Gryzlov

committed

first draft of IndProp

1 parent 61ae90a commit b195470Copy full SHA for b195470

1 file changed

+156

-117

lines changed

src
- IndProp.lidr

1 file changed

+156

-117

lines changed

Comments

(0)