Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Implement diagram expansion #4

Open
NickHu opened this issue Jun 28, 2020 · 1 comment
Open

Implement diagram expansion #4

NickHu opened this issue Jun 28, 2020 · 1 comment
Assignees

Comments

@NickHu
Copy link
Owner

NickHu commented Jun 28, 2020

The dual to contraction - when you make a move like the following:

| |        | |
o o   ->   o |
| |        | o
           | |

This procedure is not natural and involves making arbitrary choices

@NickHu NickHu changed the title Implement expansion Implement diagram expansion Jun 28, 2020
@NickHu NickHu added this to the First working version milestone Jun 28, 2020
@jamievicary jamievicary self-assigned this Aug 4, 2020
@jamievicary
Copy link
Collaborator

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants