Joseph’s notes / det-tr-exp • raw PDF • typst source