Show HN: I wrote my lecture notes in Typst (github.com)