Commit 8b0798b

Alex Gryzlov

committed

first draft of ProofObjects

1 parent 396b489 commit 8b0798bCopy full SHA for 8b0798b

1 file changed

+206

-195

lines changed

src
- ProofObjects.lidr

1 file changed

+206

-195

lines changed

Comments

(0)