# Examples

One small document of each shape, all on binary search, so the shapes can be compared on one subject. Each passes
every check of this repository, and each is checked again in CI.

## Contents

| Example | Summary |
|---|---|
| [lesson](binary-search-lesson.md) | three objectives, the invariant with a trace, a trap refuted, two question blocks, key points |
| [exercise sheet](binary-search-sheet.md) | two types, each opened by a worked example and a completion problem, then a mixed review |
| [deck](binary-search-deck.md) | seven cards in a file Anki imports, each linked to the section it tests |
| [study guide](binary-search-guide.md) | one method with its trap, three variants, an error grid, a date to redo, a method sheet |

## See also

[Shapes](../README.md), the parent of this folder.