> For the complete documentation index, see [llms.txt](https://adams-personal-organization.gitbook.io/compendium-of-predicates/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://adams-personal-organization.gitbook.io/compendium-of-predicates/orientation/welcome.md).

# Welcome

Welcome to my compendium of predicates!

In these pages, I present a collection of predicates that I have found helpful in writing Alloy specifications. The list grows daily, so please do not be surprised when I shuffle things between your visits.