<div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif">This is on Monday!  Put it in your diaries now before you forget over the weekend ;-)</div><div class="gmail_default" style="font-family:garamond,serif"><br></div><div class="gmail_default" style="font-family:garamond,serif">THREE great reasons to go:</div><div class="gmail_default" style="font-family:garamond,serif"><br></div><div class="gmail_default" style="font-family:garamond,serif">1) An accessible introduction to Idris from Conor Farrell!</div><div class="gmail_default" style="font-family:garamond,serif">2) delicious pizzas (veggie option included) and drinks (beer + non-alcoholic)  from our lovely sponsor Equal Experts, who have made this event possible!</div><div class="gmail_default" style="font-family:garamond,serif">3) and another drink at the Pilcrow Pub from our second lovely sponsor Dunnhumby</div><div class="gmail_default" style="font-family:garamond,serif"><br></div><div class="gmail_default" style="font-family:garamond,serif">Please do sign up at <a href="https://www.eventbrite.com/e/an-introduction-to-idris-with-conor-farrell-tickets-46544100658" target="_blank" style="color:rgb(17,85,204);font-size:12.8px;background-color:rgb(255,255,255)">https://www.eventbrite.com/<wbr>e/an-introduction-to-idris-<wbr>with-conor-farrell-tickets-<wbr>46544100658</a> so we can plan for numbers!</div><div class="gmail_default" style="font-family:garamond,serif">Hope to see you there,</div><div class="gmail_default" style="font-family:garamond,serif"><br></div><div class="gmail_default" style="font-family:garamond,serif">Hakim</div><div class="gmail_extra"><br><div class="gmail_quote">On 10 June 2018 at 18:23, Hakim C <span dir="ltr">&lt;<a href="mailto:hakim.cassimally@gmail.com" target="_blank">hakim.cassimally@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div style="font-family:garamond,serif"><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Hi all!</span><br></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">This month, we have a very generous sponsorship from <a href="https://www.equalexperts.com/" rel="noopener noreferrer nofollow" style="color:rgb(0,127,140);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:transparent;text-decoration:none" target="_blank">Equal Experts</a> (a network of talented, experienced software consultants)</span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">who will be providing refreshments (pizza and drinks, both alcoholic and non).</span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><b>When</b>: Monday 18th June. 7pm for 7:05</span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><b>Where</b>: MadLab at Plant NOMA <a href="https://madlab.org.uk/find-us/" target="_blank">https://madlab.org.uk/<wbr>find-us/</a></span></p><p style="margin:0px;padding:0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:garamond,serif;font-size:small;letter-spacing:normal;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><b>What</b>:  </span>Conor Farrell (<a href="https://twitter.com/SectoidCmdr" rel="noopener noreferrer nofollow" style="color:rgb(0,127,140);text-decoration-line:none;background-color:transparent;padding-top:0px" target="_blank">@SectoidCmdr</a>) will give us an Introduction to <a href="https://www.idris-lang.org/" rel="noopener noreferrer nofollow" style="color:rgb(0,127,140);text-decoration-line:none;background-color:transparent" target="_blank">Idris</a>.</p><p style="margin:0px;padding:10px 0px 0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">&quot;Idris is a purely functional language that has a number of interesting features like dependent types and totality checking. It can also be used as a proof assistant, similar to Coq and Agda.</p><p style="margin:0px;padding:10px 0px 0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">In this talk I’ll cover development using Idris and how you can use types to help you write your code - rather than thinking of types just as things that need to be checked, we can instead see them as a plan for producing a robust program by following the three steps of type, define and refine.</p><p style="margin:0px;padding:10px 0px 0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">You don’t need any experience with Idris or functional programming as I’ll be starting from the basics, but if you do happen to know Haskell you’ll probably see some similarities!&quot;</p><p style="margin:0px;padding:10px 0px 0px;color:rgb(102,106,115);font-family:&quot;Benton Sans&quot;,-apple-system,system-ui,Roboto,&quot;Helvetica Neue&quot;,Helvetica,Tahoma,Arial,sans-serif;font-size:15px;letter-spacing:0.5px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><br></p></div><div style="font-family:garamond,serif">Please sign up on EventBrite (FREE ticket) at <a href="https://www.eventbrite.com/e/an-introduction-to-idris-with-conor-farrell-tickets-46544100658" target="_blank">https://www.eventbrite.com/<wbr>e/an-introduction-to-idris-<wbr>with-conor-farrell-tickets-<wbr>46544100658</a></div><div style="font-family:garamond,serif"><br></div><div style="font-family:garamond,serif">All the best,</div><div style="font-family:garamond,serif">Hakim</div></div>
</blockquote></div><br></div></div>