Combinatorial insertions

Last updated Mar 7, 2023

Tags: Type theory, Do-notation in type theory.