search

coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45 stars 7 forks source link

use boolean predicates for sets #4

Closed clayrat closed 2 years ago

clayrat commented 2 years ago

In some of the first 10 chapters we've used seq where the book uses set, a better equivalent would be a pred.

clayrat commented 2 years ago

fixed by https://github.com/clayrat/fav-ssr/commit/f80b94b6e8c7ed0f4c7cd859479cbdd380967ea3