lists-to-contin tweaks

[lambda.git] / new_stuff.mdwn

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]]