Wednesday, October 17, 2018

10/16/18

We worked through the proof double=twice, discovering how Pie handles equality as a type, including the use of cong, and trans.

Note that there will be no meeting on 10/23 (Prof. Kurtz has a College Council meeting), and so our next scheduled meeting is for 10/30.

For next time, read through Chapter 10.

at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

12/4/18: The Path Forward

We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...

  • Our First Meeting
    At our first meeting, we agreed to read “The Little Typer” through Chapter 4 (but read below), and seriously outgrew our space, with twe...
  • 12/4/18: The Path Forward
    We took a quick look today at the Nat-Nat problems , and in particular around the distinction between + and plus . But the main conversatio...
  • The Deep State Mailing List
    I've had an email list set up for our conspiracy. To join, just go to deep-state , provide your credentials, and you're good to go.