| 02:13 | <bakkot> | that one's a little tricky because you need to make sure that the canceled call is the only one importing that module or any of its not-already-loaded transitive dependencies |
| 02:13 | <bakkot> | and also there might be a graph with TLA in the middle of evaluation, though I guess we could say that it can't interrupt evaluation only fetch |
| 07:17 | <nicolo-ribaudo> | Yeah it would need something like an all combinator |