/

• .gitignore
• Everything.agda
• README.org
• bidir.agda-lib
• manifest.scm
• src