Skip to content

Implementation reference

These accounts explain how TamerOp turns a mathematical operation into a concrete computation: the retained objects, algorithms, correctness conditions, and reasons for its implementation choices. They are for readers asking “how did they achieve this?” Familiarity with the mathematical operation is useful; each account develops the additional notation it needs.

Supporting resources:

This category is separate from the introductory reading routes and the supporting usage guides. It can be consulted by topic without following a prescribed sequence.