Commit 4c6d4bf

committed

Formalize Exercise 1.1.6

Also increased the maxHeartbeats for JordanMeasurable.sdiff and JordanMeasurable.measure_of_disjUnion'

1 parent bdfdcc8 commit 4c6d4bfCopy full SHA for 4c6d4bf

1 file changed

+308

-16

lines changed

+308

-16

lines changed

Comments

(0)