Add UI for dualisability

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

Open calintat opened 3 months ago

calintat commented 3 months ago

This adds the UI for toggling dualisability so we can play with it.

github-actions[bot] commented 3 months ago

Visit the preview URL for this PR (updated for commit f9eb02a):

_{(expires Sun, 07 Apr 2024 22:59:05 GMT)}

_{Sign: 05ce40f0d298ddcee3705e1ffae42ac186395bf7}