Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Idris (dependently-typed lang) meetup with Edwin Brady</h1> <div class='date'><time class="dtstart dt-start" title="2014-06-06T17:00:00" datetime="2014-06-06T17:00:00">Friday, June 6, 2014 from 5</time>–<time class="dtend dt-end" title="2014-06-06T20:30:00" datetime="2014-06-06T20:30:00">8:30pm</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390038'><span class='fn org p-name'>Lucky Labrador Beer Hall</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">1945 NW Quimby</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97209</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=1945%20NW%20Quimby,%20Portland%20OR%2097209%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Idris is a dependently typed language that looks pretty much like Haskell with depedent types.</p> <p>Its creator, Edwin Brady will be in town this Friday, and says he can give an impromptu talk or demo on some of his latest work in the language.</p> <p>Come get your copy of the Idris compiler autographed!</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.idris-lang.org/">Website</a></li> </ul> </div>