diff options
Diffstat (limited to 'site/posts/index.html')
-rw-r--r-- | site/posts/index.html | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/site/posts/index.html b/site/posts/index.html new file mode 100644 index 0000000..4cf073e --- /dev/null +++ b/site/posts/index.html @@ -0,0 +1,22 @@ +<div> + <h1>Archives</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> |