Skip to main content

interaction-nets

Explores Lafont's interaction nets for optimal parallel λ-reduction, enabling efficient graph rewriting and computation.

Install this skill

or
99/100

Security score

The interaction-nets skill was audited on Mar 1, 2026 and we found 1 security issue across 1 threat category. Review the findings below before installing.

Categories Tested

Security Issues

low line 58

External URL reference

SourceSKILL.md
58[Bend](https://bend-lang.org) compiles to HVM (Higher-order Virtual Machine):
Scanned on Mar 1, 2026
View Security Dashboard
Installation guide →