Tuesday, October 9, 2018

10/9/18

We worked through a variety of functional programs in Pie, including a correct version of the concat program. Along the way, we discussed Π-types, and about how -> is a special case of Π.

For next time, read through the Recess following Chapter 7 of “The Little Typer.”

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