consistently use k for continuations
[lambda.git] / new_stuff.mdwn
1 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
2
3
4
5 [[Curry-Howard]]
6