N.B. next CompSci Cabal online meeting is tonight - not to late too join in https://join.slack.com/t/cscabal/shared_invite/zt-21i5px0f7-Zc208VS7ECYm99SyyMNPfg