Change 46764

Time Attribute with previous and current values
Change #46764
2017-12-12
10:12:17

create Calagator::Event 1250472953 PDX Functional Progamming - Theory Track - Logic and Proof Roll back

description nil → 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.
end_time nil → 2017-12-13 20:30:00 -0800
id nil → 1250472953
start_time nil → 2017-12-13 18:30:00 -0800
title nil → PDX Functional Progamming - Theory Track - Logic and Proof
url nil → https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/dhqvbpywqbrb/
venue_details nil → 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.
venue_id nil → 202395393