These are chat archives for got-lambda/expression

10th
Jul 2015
Alexa DeWit
@AlexaDeWit
Jul 10 2015 01:16
Hahaha. I must confess, I'm still mortally afraid of kebabpizza. Also bernaise sauce on pizzas. Luckily though this is the only culture shock I've really experienced. :D
Suvash Thapaliya
@suvash
Jul 10 2015 20:51
So friends, we need to do an Idris meetup soon. I just received some stickers.
Who's up for this mountain of a task ?
Magnus Therning
@magthe
Jul 10 2015 21:01
I can take the task of handing out the stickers you have ;)
I can take the task of handing out the stickers ;)
Suvash Thapaliya
@suvash
Jul 10 2015 21:04
Hmm, I was planning to look into those matters personally :laughing:
@vlopezj I was thinking you could give this (Idris) a go.
Víctor López Juan
@vlopezj
Jul 10 2015 21:15
suvash: i can do something; i'll be back to gothenburg on august 18th
@suvash we can talk about it on Sunday, tomorrow is a bit hectic for me :)