summaryrefslogtreecommitdiffstats
path: root/site/posts
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-14 08:06:52 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-14 08:06:52 +0100
commit707ccc2e782b359725308ebd8cbcc3f904a1b0d9 (patch)
tree3766533c63b055ae1e45f9fbe0842125bc8169b6 /site/posts
parent7c47d2b8f99be4a53f50e46015c15301ffa16ae1 (diff)
Provide an index page for write-ups with more value
Diffstat (limited to 'site/posts')
-rw-r--r--site/posts/index.html22
1 files changed, 0 insertions, 22 deletions
diff --git a/site/posts/index.html b/site/posts/index.html
deleted file mode 100644
index 7643b21..0000000
--- a/site/posts/index.html
+++ /dev/null
@@ -1,22 +0,0 @@
-<div>
- <h1>Blog</h1>
-
- <p>Hi.</p>
-
- <p>
- For several years now, I have been trying to publish interesting content. My
- articles are mostly about functional programming languages such as Coq or
- Haskell.
- </p>
-
- <ul id="index">
- </ul>
-
- <p>
- If you like what you read, have a question or for any other reasons really,
- you can shoot to <a href="mailto:~lthms/lthms.xyz@lists.sr.ht">this blog
- mailing list</a> (see
- the <a href="https://lists.sr.ht/~lthms/lthms.xyz/%3C20190127111504.n27ttkvtl7l3lzwb%40ideepad.localdomain%3E">annoucement</a>
- for a guide on how to subscribe).
- </p>
-</div>