site/posts/index.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

<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>