Export or edit this event...

PDX Functional Progamming - Theory Track - Logic and Proof

Collective Agency Division
3050 SE Division, Suite 245
Portland, Oregon 97202, United States (map)
Public WiFi

Access Notes

Come up to Suite 245. There's lots of free street parking nearby. Members have bicycle parking inside and showers. The 4 bus stops outside. There's an elevator lift available.

We'll be in the second floor conference room, not the Collective Agency suite. It's just off the lobby area in the middle of the second floor. Elevator access is available.

Website

Description

We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Share

Tags