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:STANDARD
DTSTART:20171105T020000
RDATE:20171105T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20171212T181217Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171213T203000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171213T183000
DTSTAMP;VALUE=DATE-TIME:20171212T181217Z
LAST-MODIFIED;VALUE=DATE-TIME:20171212T181217Z
UID:http://calagator.org/events/1250472953
DESCRIPTION:We'll discuss Chapter 3 and possibly Chapter 4 of Logic and P
 roof (https://leanprover.github.io/logic_and_proof/). Please try to at l
 east read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. A
 t the meeting anyone will be able to present and contribute to the discu
 ssion.&#13\;\n&#13\;\n***&#13\;\n&#13\;\nPDXFunc is a study/user group e
 xploring functional programming in Portland\, Oregon. The group welcomes
  programmers with any level of experience or interest in any functional 
 language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Agda\, as 
 well as using functional techniques in not explicitly functional languag
 es.&#13\;\n&#13\;\nWe have two kinds of meetings: theory and practice\, 
 that each meet twice a month.&#13\;\n&#13\;\nPlease sign up for the mail
 ing list for more announcements\, discussions\, meeting notes\, etc.:&#1
 3\;\n&#13\;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, functional
  programming\, se\, sepdx\n\nImported from: http://calagator.org/events/
 1250472953
URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ev
 ents/dhqvbpywqbrb/
SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof
LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl
 and Oregon 97202 United States
SEQUENCE:2
END:VEVENT
END:VCALENDAR