Jarno Montonen10/13/2022, 11:35 AM
Jason Morris10/13/2022, 4:52 PM
Jason Morris10/13/2022, 7:02 PM
omitting the first operand, but in a block based editor you cannot, you can only drag
. 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
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 Montonen10/14/2022, 4:52 AM
Jason Morris10/14/2022, 2:07 PM