Nathan Corbyn

Fun! 

We should be able to dump the contents of the framebuffer pretty straightforwardly in order to implement this

Nice work @thud! Maybe split out a `GeneratorStyle` struct that can be shared rather than sharing the whole `GeneratorInfo`? Let me know if you need a hand making your state...

View is only reset for actions for which it makes sense to reset the view. This issue is referring to the zoom level after the view is reset. In particular,...

https://github.com/homotopy-io/homotopy-rs/blob/c0327a176bf41db81a18475f47962446581c7e3d/homotopy-web/src/model/proof.rs#L229

This is a restricted push-out of computads right?

Restricted in the sense that extending a signature like this will only provide you with a subclass of all push-outs of computads (my hunch is that not all of them...

All rendering is done through the deferred pipeline now

Ah, yes, I see what you mean - that is the case

This framework was designed by the Rust compiler team lead to support this kind of operation inside of the Rust compiler: https://github.com/salsa-rs/salsa Might be worth having a look at! (Also,...