BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20140309T020000
RDATE:20140309T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20140603T223933Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20140606T203000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20140606T170000
DTSTAMP;VALUE=DATE-TIME:20140603T223933Z
LAST-MODIFIED;VALUE=DATE-TIME:20140603T224147Z
UID:http://calagator.org/events/1250466385
DESCRIPTION:Idris is a dependently typed language that looks pretty much 
 like Haskell with depedent types.&#13\;\n&#13\;\nIts creator\, Edwin Bra
 dy 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.&#13\;\n&#13\;\nCome 
 get your copy of the Idris compiler autographed!\n\nTags: functional pro
 gramming\, pdxfunc\, haskell\, idris\, dependent types\n\nImported from:
  http://calagator.org/events/1250466385
URL:http://www.idris-lang.org/
SUMMARY:Idris (dependently-typed lang) meetup with Edwin Brady
LOCATION:Lucky Labrador Beer Hall: 1945 NW Quimby\, Portland OR 97209 US
SEQUENCE:2
END:VEVENT
END:VCALENDAR