<div dir="ltr"><div class="gmail_default" 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/" target="_blank" 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">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/">https://madlab.org.uk/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" target="_blank" rel="noopener noreferrer nofollow" style="color:rgb(0,127,140);text-decoration-line:none;background-color:transparent;padding-top:0px">@SectoidCmdr</a>) will give us an Introduction to <a href="https://www.idris-lang.org/" target="_blank" rel="noopener noreferrer nofollow" style="color:rgb(0,127,140);text-decoration-line:none;background-color:transparent">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 class="gmail_default" 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">https://www.eventbrite.com/e/an-introduction-to-idris-with-conor-farrell-tickets-46544100658</a></div><div class="gmail_default" style="font-family:garamond,serif"><br></div><div class="gmail_default" style="font-family:garamond,serif">All the best,</div><div class="gmail_default" style="font-family:garamond,serif">Hakim</div></div>