Mariano Guerra
Jarno Montonen
10/13/2022, 11:35 AMJason Morris
10/13/2022, 4:52 PMJason Morris
10/13/2022, 5:05 PMMariano Guerra
Jason Morris
10/13/2022, 7:02 PMJason Morris
10/13/2022, 7:24 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?Jason Morris
10/13/2022, 7:28 PMJarno Montonen
10/14/2022, 4:52 AMJarno Montonen
10/14/2022, 4:55 AMJason Morris
10/14/2022, 2:07 PM