20 Oct
2020
20 Oct
'20
6:38 p.m.
On 10/20/20 2:27 PM, Alex Plotnick wrote:
At Tue, 20 Oct 2020 04:19:38 -0600, Jeff Read said:
Have we decided on a way to meet?
As Jonathan said, we had, but I would like (with apologies) to propose a last-minute change to Zoom, since I can not get screen sharing to work with Google Meet, and my whole talk is based around an interactive demo.
Try Jitsi? -- "Don't be afraid to ask (λf.((λx.xx) (λr.f(rr))))."