[project @ 2000-06-07 15:33:50 by keithw]
Fix printing of unfoldings in hi-files: lambda binders are now grouped again like they used to be, rather than printed one-at-a-time.
Please register or sign in to comment
Fix printing of unfoldings in hi-files: lambda binders are now grouped again like they used to be, rather than printed one-at-a-time.