Rework variable rendering

Open prescientmoon opened this issue 5 years ago • 0 comments

Having a lambda return a variable from an outer scope generates a weird structure.

Eg:

The expression \f a. f (\l. a) produces:

Nov 03 '20 10:11 prescientmoon