/examples/

• ../
• equality.makkai
• one_simplex.makkai
• tests