Theory Meeting, Oct. 24th

[Lyle Kopnicky]

We'll discuss Chapter 16, "Functions in Lean", 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 24th, 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/mpwwbqyxnbgc/

[Ed Snow]

My solutions to the Chapter 16 exercises:
https://gist.github.com/es30/e5a92bd861c5ebc8bf2c40a4b0702a50

[Matt Rice]

Here are mine

https://gist.github.com/ratmice/cc2d7d514dad1ea2b3e1f07d0f04f90e

On Sat, Oct 20, 2018 at 10:23 AM Ed Snow <edsn...@gmail.com> wrote:
>
> My solutions to the Chapter 16 exercises:
> https://gist.github.com/es30/e5a92bd861c5ebc8bf2c40a4b0702a50
>

> --
> 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.