
@ccshan of course feel free to adjust the text as you see fit! Let’s just not under-play our range of contributions.

Very nice! I mourn the loss of my ‘alas’, but I will let it be sacrificed for the sake of that substantial improvement to what I wrote.

I am now very happy with the framing of all our contributions.

You can put it back in the “of course” sentence

Unlikely to have the time to do it, I’ve got another paper due Sunday (it was due today originally too), another due next Friday, a midterm to write, a paper review due Monday. Today’s full with teaching and student meetings, then off to see my daughter in a play she’s performing. And lots of prep to do on the weekend, as Eithne, Eileen and I are going to Japan for 10 days starting Wednesday morning. I shouldn’t even be on Slack…

@rjnw There’s no vectorization in Hakaru/Sham, right?

no

@ccshan set the channel topic: https://icfp19.hotcrp.com/paper/105?cap=0105adYgVfVgAgws


I’m done without further incoming events.

I just pushed a couple small wording changes

including removing some of the repetition Turab mentioned

@ccshan since you’ve had different typesetting results in the past, can you submit?

will do.