Sam Garfinkel
07/31/2020, 8:46 PMendswith("</endtag>")
but this seems inefficient to run over the length of the buffer, especially if we get a char that can’t contribute to the terminal tag.Sam Garfinkel
07/31/2020, 8:48 PMNikky
07/31/2020, 9:14 PMNir
07/31/2020, 10:33 PMsequence
pretty easily that does this, no?Nir
07/31/2020, 10:34 PMNir
07/31/2020, 10:34 PMJakub Pi
07/31/2020, 11:08 PMJakub Pi
07/31/2020, 11:10 PM