About

I’m interested in functional programming and type theory.

I’m not an expert, I’m just a fan.

That said, people have expressed interest in hearing my explanation for certain topics.

So I’m writing my explanations down, to allow those interested parties to read them whenever they like.