We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Matrix-related optimizations in input language to interaction nets translator. Respective interaction nets nodes types and reduction rules.