/examples/

• ../
• alpha_equiv.makkai
• equality.makkai
• ext_codomain.makkai
• inline_nested.makkai
• nested_for.makkai
• one_simplex.makkai
• signature_param.makkai