lthms’ Blog

Writing and programming are two important parts of my life, maybe because they are very similar. In this small corner of the Internet, I gather my articles about computer science. I write mostly about functional programming languages, in particular Haskell and Coq.


This blog has its own mailing list! You can send an email to ~lthms/, to subscribe, and to ~lthms/ to unsubscribe. There is also an RSS feed you prefer.

And there