j
k
j a
j l
Broadly this feels fine to me. Other that the few little leftover issues, this should probably be split in at least three commits (one for writing DOT, one for lowering DOT and another one for writing DP2ADD).
Back to the thread
Back to the list