gfnweb
PPL 2022 Invited Talk: Introduction to SATySFi, a Statically-Typed Functional Typesetting System