homotopy-rs
homotopy-rs copied to clipboard
A Rust/WASM implementation of homotopy.io
Here are some options: - vertex with horizontal-tangent wires (default) - vertex with vertical-tangent wires - box with vertical wires (#460) - asymmetric CQM-style boxes (#623)
There are a few problems with the "About" dialog: - [x] it's drawn behind the drawer so it gets obstructed if the drawer is open, - [x] it should block...
Evaluate the orientation number mod 2? Need to think if this makes sense.
We need to think about these. We should at least work out how to do all of them in principle. - ~~Framed diagrams~~ - Framed typechecking - ~~Oriented diagrams~~ -...
or maybe 80% of the screen (Nick's suggestion) leaving a nice border.
The lighting still has a certain flatness to it, which was not present in the javascript homotopy.io. Consider the following examples. The first image is in the js version, while...
To view a large diagram you have to zoom out, but then the vertices can't be seen. An example is the animation of the algebraic Eckmann-Hilton proof. To counter this...
[layout.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/8860867/layout.hom.zip)