diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 11:51:56 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 11:51:56 +0000 |
| commit | 4527250aee1d1d4655e84f0583d04410b7c53642 (patch) | |
| tree | a87ce7f38a26b1d9fb11248f9428704816fc4fb4 /Everything.agda | |
Completed all problems save 12, where I had to postulate two lemma.
Diffstat (limited to 'Everything.agda')
| -rw-r--r-- | Everything.agda | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Everything.agda b/Everything.agda new file mode 100644 index 0000000..477429a --- /dev/null +++ b/Everything.agda @@ -0,0 +1,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 |