Search
❯
Tree techniques for lifting, decomposition, traversal, and message passing.
Some common patterns and representative implementations against invariants.