Hi,
This isn't about Haskell per se, but I was reading the old Meijer et al.
paper Functional Programming with Bananas, Lenses, Envelopes and Barbed
Wire I think there's a notational pun that's really confusing me.
On page 12 we have the CataEval equation
(|phi|) . in = phi . (|phi|)_L
Now, the
On Sat, Apr 19, 2008 at 07:37:50PM -0500, Creighton Hogg wrote:
This isn't about Haskell per se, but I was reading the old Meijer et al.
paper
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire I
think there's a notational pun that's really confusing me.
On page 12 we