Session do-notation

Last updated Feb 13, 2023

Tags: Do-notation in type theory, Monoidal contexts.