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