use boolean predicates for sets
clayrat opened this issue · comments
In some of the first 10 chapters we've used seq
where the book uses set
, a better equivalent would be a pred
.
fixed by f80b94b
Functional Algorithms Verified in SSReflect
clayrat opened this issue · comments
In some of the first 10 chapters we've used seq
where the book uses set
, a better equivalent would be a pred
.
fixed by f80b94b