Hi all, I just wanted to share with you my first public work that was typeset using TeXmacs, some notes for a lecture I will be giving at Stockholm on Friday: https://www.jonmsterling.com/papers/sterling:2022:wg6.pdf
My sincere thanks to everyone in this forum who has helped me so far! Would not have been possible without your help.