Thu Oct 25 21:07:55 CEST 2007


in order to finish brood.tex, it looks to me that type theory is not
really the most important thing to brush up on: partial evaluation
is. there's a lot of stuff here:


i need to give some proper attention. if only to relate my intuitions
to things people have spent some thought on.