Do-notation in type theory

Last updated Apr 23, 2024

• Derivations in Do-notation
• quotienting Do-notation
• do-notation composition
• do-notation

References

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

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