Lysxia's blog

A blog about functional programming and stuff, preferably in Haskell and Coq. The source code of this blog is here.

You may find me as Syrak on reddit, lyxia on libera.chat and a few other places.

Posts