Updates to gist:requires. Fixes #183.#614

Closed

rjyounes wants to merge 3 commits intodevelopfrom

feature/issue_183_requires

Commits on Jan 28, 2022

Predicate gist:requires: remove domain and range, update definition, and add an example
rjyounes
committed
Release note for #183, and a couple of other release note updates.
rjyounes
committed
Add definition and scope note for gist:requires
rjyounes
committed