move old shit

2024-05-23 09:53:45 -05:00 · 2024-05-23 09:53:45 -05:00 · 7d9fde3d1c
commit 7d9fde3d1c
parent f99ed6bd2b
26 changed files with 0 additions and 0 deletions
--- a/src/Misc/2022-10-03-notes.lagda.md
+++ b/src/Misc/2022-10-03-notes.lagda.md
--- a/src/Misc/2022-10-10-notes.lagda.md
+++ b/src/Misc/2022-10-10-notes.lagda.md
--- a/src/Misc/2023-04-03-more-ch2.agda
+++ b/src/Misc/2023-04-03-more-ch2.agda
--- a/src/Misc/2023-05-06-equiv.lagda.md
+++ b/src/Misc/2023-05-06-equiv.lagda.md
--- a/src/Misc/2023-05-14-biinv-equiv.agda
+++ b/src/Misc/2023-05-14-biinv-equiv.agda
--- a/src/Misc/2023-05-15-equiv-try-again.agda
+++ b/src/Misc/2023-05-15-equiv-try-again.agda
--- a/src/Misc/2023-05-17-equiv-no-cubical.agda
+++ b/src/Misc/2023-05-17-equiv-no-cubical.agda
--- a/src/Misc/2023-08-05-scratchpad.agda
+++ b/src/Misc/2023-08-05-scratchpad.agda
--- a/src/Misc/2023-10-05-bidir.agda
+++ b/src/Misc/2023-10-05-bidir.agda
--- a/src/Misc/2023-11-27-asdf.agda
+++ b/src/Misc/2023-11-27-asdf.agda
--- a/src/Misc/2023-12-21-some-group-theory-shit.agda
+++ b/src/Misc/2023-12-21-some-group-theory-shit.agda
--- a/src/Misc/2024-05-09-perry-meeting.agda
+++ b/src/Misc/2024-05-09-perry-meeting.agda
--- a/src/Misc/ApPractice.agda
+++ b/src/Misc/ApPractice.agda
--- a/src/Misc/Ch2.agda
+++ b/src/Misc/Ch2.agda
--- a/src/Misc/Ch6.agda
+++ b/src/Misc/Ch6.agda
--- a/src/Misc/Ch6HoTT.agda
+++ b/src/Misc/Ch6HoTT.agda
--- a/src/Misc/CircleFundamentalGroup.agda
+++ b/src/Misc/CircleFundamentalGroup.agda
--- a/src/Misc/CircleThing2.agda
+++ b/src/Misc/CircleThing2.agda
--- a/src/Misc/Divergence.agda
+++ b/src/Misc/Divergence.agda
--- a/src/Misc/HIT.agda
+++ b/src/Misc/HIT.agda
--- a/src/Misc/Lemma641.agda
+++ b/src/Misc/Lemma641.agda
--- a/src/Misc/Path2.lagda.md
+++ b/src/Misc/Path2.lagda.md
--- a/src/Misc/Simple.agda
+++ b/src/Misc/Simple.agda
--- a/src/Misc/jasontime.agda
+++ b/src/Misc/jasontime.agda
--- a/src/Misc/loopspace.agda
+++ b/src/Misc/loopspace.agda
--- a/src/Misc/main.agda
+++ b/src/Misc/main.agda