Wednesday, November 28, 2018

Pie Repo

I've set up a repo for Pie code that I'm working on. The repo currently contains two files: TreeLib.pie (yesterday's code), and max.pie (which includes implementations of the max and monus function, along with supporting proof objects). The code in max.pie is obviously begging to be re-written as a single general function, along with the corresponding proof objects, which are then used to implement the rest.

Assuming you have an .ssh key registered with mit.cs.uchicago.edu, you can clone my repo via

    git clone git@mit.cs.uchicago.edu:saks/pie.git
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., ...