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

11/27/18

I'd like to introduce the "Tree problem" for Pie. Is it possible to implement a reasonable tree data type in Pie? I'll go through some ideas and bottlenecks.

11//6/18 — Election Day

Today we read through Chapter 13 of “The Little Typer,” we will finish the book next time.