

Operators

In Nexus operators can be "grounded" or polymorphic.

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