Theory Meeting, Oct. 10th

[Lyle Kopnicky]

We'll continue to discuss the exercises from Chapter 15, "Functions", of Logic and Proof (https://leanprover.github.io/logic_and_proof). Please try to work the exercises beforehand. At the meeting anyone will be able to present and contribute to the discussion.

October 10th, 2018, 6:30-8:30pm

Location:

Collective Agency

3050 SE Division, Suite 245 · Portland, OR

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

RSVP at:

https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/254874972/

[Lyle Kopnicky]

Sorry, wrong event link at the end. It should be:

https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/gwtbcpyxnbnb/

[Lyle Kopnicky]

Photos from the whiteboard in the meeting:

--
You received this message because you are subscribed to the Google Groups "pdxfunc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pdxfunc+u...@googlegroups.com.
To post to this group, send email to pdx...@googlegroups.com.
Visit this group at https://groups.google.com/group/pdxfunc.
For more options, visit https://groups.google.com/d/optout.