September 29th, 2001

beartato phd

-

Hacked some twelf, read about hyperfunctions.
I found about the latter looking at some bibliography
on arrows, which are in turn a generalization of
monads-qua-haskell-programming-idiom.