Do notation is sound and complete for monoidal categories

Last updated May 18, 2023

• Do-notation in type theory