Closed edsko closed 3 weeks ago
We can simplify this further still, but that might depend on a re-think of the client/server duality (which was on the TODO list anyway, but maybe now is a good time).
We can simplify this further still, but that might depend on a re-think of the client/server duality (which was on the TODO list anyway, but maybe now is a good time).