diff --git a/index.org b/index.org
index ad70f63..5a91b0b 100644
--- a/index.org
+++ b/index.org
@@ -1,7 +1,7 @@
 * Yiyun Liu
 - E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]]
 - Bluesky :: [[https://bsky.app/profile/electriclam.com][Yiyun Liu@electriclam.com]]
-- Mastodon :: [[https://mastodon.electriclam.com/@yiyunliu][yiyunliu@mastodon.electriclam.com]] (temporarily down)
+# - Mastodon :: [[https://mastodon.electriclam.com/@yiyunliu][yiyunliu@mastodon.electriclam.com]] (temporarily down)
 - Blog :: [[https://blog.electriclam.com][blog.electriclam.com]]
 - Git :: [[https://github.com/yiyunliu][yiyunliu@github]], [[https://git.electriclam.com/yiyunliu][forgejo]]
 
diff --git a/repl25-notes/inductive.pdf b/repl25-notes/inductive.pdf
new file mode 100644
index 0000000..18f429f
Binary files /dev/null and b/repl25-notes/inductive.pdf differ
diff --git a/site.hs b/site.hs
index d22e79f..bed612e 100644
--- a/site.hs
+++ b/site.hs
@@ -21,6 +21,9 @@ main =
     match "css/*.css" $ do
       route idRoute
       compile compressCssCompiler
+    match "repl25-notes/*.pdf" $ do
+      route idRoute
+      compile copyFileCompiler
     match "papers/*" $ do
       route idRoute
       compile copyFileCompiler