-
Keith Wansbrough authored
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.
b9fcd926
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.