[MLton] more edits to flatten.fun

Stephen Weeks MLton@mlton.org
Thu, 22 Jan 2004 15:48:04 -0800

> Indeed, it seems the best way to express deep flattening is as you
> suggest, and is actually formalized pretty well in the notes we made
> at ESOP a few years ago.  I think the structure of the analysis
> described in those notes matches your description below.

Time flies.  I'm glad to see I agree with my(prior)self :-).