Lambda the Ultimate

inactiveTopic Programming with pictures
started 3/30/2001; 12:19:39 AM - last post 3/30/2001; 3:26:03 AM
andrew cooke - Programming with pictures  blueArrow
3/30/2001; 12:19:39 AM (reads: 1647, responses: 1)
Programming with pictures
This paper [pdf] [ps] (link above is to the abstract) shows how pictures and text can be combined.

This came up in c.l.functional a while back when someone pointed out that the balance function in Okasaki's red/black code wasn't very readable. Compare that with figure 4 in the paper above.
Posted to theory by andrew cooke on 3/30/01; 12:20:42 AM

andrew cooke - Re: Programming with pictures  blueArrow
3/30/2001; 3:26:03 AM (reads: 706, responses: 0)
Just realised - this is a notation thing, too. :-)