carette
2019-3-1 13:12:15

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


carette
2019-3-1 13:53:29

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.


carette
2019-3-1 13:53:58

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


ccshan
2019-3-1 13:54:26

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


carette
2019-3-1 13:57:39

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…


ccshan
2019-3-1 21:56:44

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


rjnw
2019-3-1 21:56:54

no


ccshan
2019-3-2 00:57:44

ccshan
2019-3-2 00:57:51

@ccshan set the channel topic: https://icfp19.hotcrp.com/paper/105


ccshan
2019-3-2 01:40:51

I’m done without further incoming events.


samth
2019-3-2 01:43:09

I just pushed a couple small wording changes


samth
2019-3-2 01:43:22

including removing some of the repetition Turab mentioned


samth
2019-3-2 01:43:37

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


ccshan
2019-3-2 01:44:48

will do.