Built with
Alectryon. Bubbles (
) indicate interactive fragments: hover for details, tap to reveal contents. Use
Ctrl+↑ Ctrl+↓ to navigate,
Ctrl+🖱️ to focus. On Mac, use
⌘ instead of
Ctrl.
Require Adjoint.Composition.Require Adjoint.Composition.
Require Adjoint.Core.
Require Adjoint.Dual.
Require Adjoint.Identity.
Include Adjoint.Composition.AdjointCompositionNotations.
Include Adjoint.Core.AdjointCoreNotations.
Include Adjoint.Dual.AdjointDualNotations.
Include Adjoint.Identity.AdjointIdentityNotations.