homotopy-rs
homotopy-rs copied to clipboard
A Rust/WASM implementation of homotopy.io
[squash.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/14547832/squash.hom.zip) I can't contract these layers, and the squash button fails too. The singular layers should contract, as these two morphisms can definitely be applied in parallel.
[epand step.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/14547759/epand.step.hom.zip) When I click the theorem at the bottom of this workspace to expand its definition, the tool crashes but only after trying to do something for several minutes....
When I click the import button, it does nothing. It first stopped working on Chrome, then I switched to Firefox and now it's stopped working there too. Clearing cookies and...
Add arrows / asymmetric boxes to invertible generators.
I've made a start on implementing the Firebase function we'll need (acting as our backend) for create, read, update, delete operations. I had thought that this would need to be...
Far too frequently we need to get into the nitty gritty of a diagram, and this involves lots of tedious drawing by hand when we have a perfectly good 3D...
[crash_6:03:24.zip](https://github.com/homotopy-io/homotopy-rs/files/14502925/crash_6.03.24.zip) I was using the "contraction step" slider, don't know if this had something to do with it.
As discussed in the stand-up today (2022-09-01), it would be great to export the 3D diagram or the current frame of a 4D movie as a .png file (like a...
[homotopy_io_state(1).zip](https://github.com/homotopy-io/homotopy-rs/files/14460546/homotopy_io_state.1.zip)