/src/

• ../
• Problem1.agda
• Problem10.agda
• Problem11.agda
• Problem12.agda
• Problem13.agda
• Problem14.agda
• Problem15.agda
• Problem16.agda
• Problem17.agda
• Problem18.agda
• Problem19.agda
• Problem2.agda
• Problem20.agda
• Problem21.agda
• Problem22.agda
• Problem23.agda
• Problem24.agda
• Problem3.agda
• Problem4.agda
• Problem5.agda
• Problem6.agda
• Problem7.agda
• Problem8.agda
• Problem9.agda