UI hookups for expansion and contraction

NickHu / homotopy-io

Rewritten homotopy-core

3 stars 2 forks source link

UI hookups for expansion and contraction #17

Open jamievicary opened 4 years ago

jamievicary commented 4 years ago

Expansion is almost ready to go, and I guess the same for contraction. It would be great to have the UI hooks in place so they can be tried out on nontrivial diagrams.