Derivations in Do-notation

Last updated Feb 13, 2023

Tags: Do-notation in type theory.