Redex

Материал из WEGA

Redex --- редекс.

See

  • Graph transformation rule.