Update 'Home'

2023-07-31 18:54:32 -04:00 · 2023-07-31 18:54:32 -04:00 · 038f34057b
commit 038f34057b
1 changed files with 5 additions and 0 deletions
--- a/Home.md
+++ b/Home.md
@ -0,0 +1,5 @@
+\*quox noise*
+
+## misc notes
+
+- [[agda w-type stuff]]