
30 Jul
2014
30 Jul
'14
1:10 p.m.
Mikael Brockman
Values of `Cont a` are functions in continuation-passing style. That is, they are functions that hand their results to a continuation passing function, instead of returning.
Ehh, this should be something like "hand their results to explicitly passed continuation functions." Sorry for the confusion. :)