Comment Comment by ycitm Ah, thank you so much! Great spot.I've corrected this, and credited you in the errata - https://www.richard-towers.com/2023/03/11/typescripting-the-... parent ycitm 3 years ago
I've corrected this, and credited you in the errata - https://www.richard-towers.com/2023/03/11/typescripting-the-...