Grokking the Sequent Calculus (Functional Pearl). - David Binder; Marco Tzschentke; Marius Müller 003; Klaus Ostermann (Proc. ACM Program. Lang., 2024)