| 23:41 | <tabatkins> | Domenic: Give at least a little while longer, we're circling towards do (and thus async do) relatively productively. |
| 23:41 | <tabatkins> | Ah bakkot already said that, tho in a more pessimistic fashion |
| 23:41 | <tabatkins> | anyway |
| 23:42 | <jschoi> | In ecmarkup, what does type="abstract operation" do, and what is its relationship with the aoid attribute? |
| 23:45 | <jschoi> | Some clauses are annotated with one or the other, but I can’t find any examples where both occur. I had thought that the point of aoid was to mark the clause where an abstract operation gets defined with its name, so that the name could automatically get cross-referenced—but then I don’t know where type="abstract operation" comes in. |
| 23:53 | <jschoi> | Ah, I see, so type="abstract operation" seems to automatically generate a paragraph about its parameters… |