10/18 agenda IR - Syntax - Eta-expansion example Surface - Syntax - Compilation to IR

I forgot to say - if anyone is busy due to Splash we can reschedule this meeting. I am available tomorrow

Tomorrow is fine with me.

I will be at school all day

Same, fine by me.

Ok, let’s keep the regular time