Skip to content

Operators

In Nexus operators can be "grounded" or polymorphic.

[A, B], [B, C] \to [A, C]