About me

I’m Haskell Developer and functional programming freak. I do love theoretical computer science, especially logic and type theory.

This blog is just a sink for my thoughts and other fancy facts from functional world.

contact