Idris

[Henry Coles]

A reminder that there's an opportunity to have Edwin teach you some Idris in Edinburgh this Saturday.

http://www.eventbrite.co.uk/e/idris-launchpad-tickets-13572976137?aff=es2&rank=1

Still some tickets left.

Henry

[Neil Ghani]

Good to see the anti-harrassment policy … I was worried for a moment that harassment would be deemed ok!

cheers
neil

On 16 Nov 2014, at 20:00, Henry Coles <henry...@googlemail.com<mailto:henry...@googlemail.com>>
wrote:

--
http://edlambda.co.uk/
---
You received this message because you are subscribed to the Google Groups "EdLambda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to edlambda+u...@googlegroups.com<mailto:edlambda+u...@googlegroups.com>.
To post to this group, send email to edla...@googlegroups.com<mailto:edla...@googlegroups.com>.
For more options, visit https://groups.google.com/d/optout.

[Rob Stewart]

hi Henry,

I haven't checked yet whether my Misses is at work or not tomorrow, so don't know of my availability. Just in case -- are there any available tickets for tomorrow's Idris day? Where is it exactly, and are participants bringing a laptop?

--

Rob

--

http://edlambda.co.uk/
---
You received this message because you are subscribed to the Google Groups "EdLambda" group.

To unsubscribe from this group and stop receiving emails from it, send an email to edlambda+u...@googlegroups.com.
To post to this group, send email to edla...@googlegroups.com.

[Steven Obua]

I just grabbed a ticket from eventbrite, and I'll bring my laptop. But yeah, where is it?

- Steven

--

Steven Obua

School of Informatics, University of Edinburgh

Join us at proofpeer.net and revolutionise math, engineering and the sciences!

 

[Steven Obua]

Actually, when you book a ticket, it will tell you where it is.

- Steven

PS: 

Edinburgh
10 Kittle Yards
EH9 1PJ Edinburgh
United Kingdom