summaryrefslogtreecommitdiff
path: root/Everything.agda
blob: 477429a0d16a236d95a961ec34b5b591060c63b9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
module Everything where

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