Replace variable `a` within `lambda(a)`

[yangit]

Trying to replace variable a within lambda(a) fails.

[fritzo]

Could you give example code, e.g., using puddle-syntax?

[yangit]

Also server sometimes fails if I try to replace lambda itself.

[yangit]

Please take a look here http://youtu.be/hmYJS-hkE6k
I'm not sure if I understand how system is supposed to work, so it is hard for me to fix it.
Can we quickly chat so you explain me expected behaviour?

[fritzo]

The intended behavior is that no actions should be supported when the
cursor is on the variable in a lambda term.

On Wed, Dec 10, 2014 at 8:06 PM, Yan notifications@github.com wrote:

Please take a look here http://youtu.be/hmYJS-hkE6k
I'm not sure if I understand how system is supposed to work, so it is hard
for me to fix it.
Can we quickly chat so you explain me expected behaviour?

—
Reply to this email directly or view it on GitHub
#16 (comment).