Little Prover tonight at Vivace!

9 views

Skip to first unread message

Scott Windsor

unread,

Sep 15, 2015, 4:42:04 PM9/15/15

to seattle...@googlegroups.com

Ch1 little prover! In which we get to learn about equality, relations, and how you really know that an omelete is tasty.

We'll be at Vivace from 6pm-7pm. The requirement is that you've read through Ch1 and worked it out either in your head, paper, or coded. This is a bit of a departure from our prior schemer groups because the concepts are quite new and we haven't "met" j-bob yet.