/entries/funemy/

• ../
• .gitignore
• agda
• z3