/

• .gitignore
• Everything.agda
• cat-theory.agda-lib
• guix.scm
• src