From 9754a53fdc14f6ee4cf00f851cda68d69889bdcd Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Tue, 4 Feb 2020 18:13:38 +0100 Subject: Initial commit with previous content and a minimal theme --- site/posts/index.html | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 site/posts/index.html (limited to 'site/posts/index.html') 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 @@ +
+

Archives

+ +

Hi.

+ +

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

+ + + +

+ If you like what you read, have a question or for any other reasons really, + you can shoot to this blog + mailing list (see + the annoucement + for a guide on how to subscribe). +

+
-- cgit v1.2.3