Commit 396b489

Alex Gryzlov

committed

WIP ProofObjects

1 parent 9a9592c commit 396b489Copy full SHA for 396b489

1 file changed

+581

-0

lines changed

src
- ProofObjects.lidr

1 file changed

+581

-0

lines changed

Comments

(0)