diff options
Diffstat (limited to 'site/posts')
| -rw-r--r-- | site/posts/index.html | 22 |
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> |