Mariano Guerra
Jarno Montonen
10/13/2022, 11:35 AMJason Morris
10/13/2022, 4:52 PMMariano Guerra
Jason Morris
10/13/2022, 7:02 PM*4
omitting the first operand, but in a block based editor you cannot, you can only drag _*4
. I'm just not sure that is a valid criticism of block-based editors, either, because it presumes that being able to deal with the serialization directly is good, and block based editors reject that assertion. But I'm also not sure it isn't, because maybe people who use structural editors would like to be able to wrap *4
around any term that could serve as the first operand. Maybe the criticism is that block based editors allow you to insert something inside a term, before a term, after a term, but do not allow you to wrap one, and this does?Jarno Montonen
10/14/2022, 4:52 AMJason Morris
10/14/2022, 2:07 PM