Crash when constructing product comonoid

homotopy-io / homotopy-rs

A Rust/WASM implementation of homotopy.io

https://homotopy.io

BSD 3-Clause "New" or "Revised" License

76 stars 5 forks source link

Closed patricknickols closed 3 weeks ago

patricknickols commented 3 months ago

calintat commented 3 weeks ago

Thanks! I think this is no longer reproducible, so I will mark this as closed.