Wednesday, September 26, 2018

Getting Started

Our first public meeting will be on Tuesday, October 2nd. I'd like to begin by working through “The Little Typer,” by Daniel P. Friedman and David Thrane Christiansen.

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...
  • Nat-Nat Problems
    Problem 1 . Write the functions max and monus , where (claim max (-> Nat Nat Nat)) is the usual max function, e.g., ...