Open jamievicary opened 8 years ago
Globular needs a 'tactics' engine to provide tools to simplify diagrams in a powerful way.
The simplest possible such tactic would be to automatically cancel all adjacent pairwise-inverse cells.
Globular needs a 'tactics' engine to provide tools to simplify diagrams in a powerful way.
The simplest possible such tactic would be to automatically cancel all adjacent pairwise-inverse cells.