Add `includes` method #15#20

Merged

TitanNano merged 2 commits intoPROGRAP:masterfrom

tomhooijenga:master

Jan 12, 2021

Commits on Dec 10, 2020

Add `includes` method.
thooijenga
committed
linting
thooijenga
committed