Do-notation in type theory

Last updated Sep 8, 2023

• Derivations in Do-notation
• Quotienting Do-notation
• Do-notation composition

References

• Generalising Monads to Arrows (Hughes)
• A New Notation for Arrows (Patterson)

Tags: Type theory, Type theory for symmetric monoidal categories.