Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet. [[Curry-Howard]]