Skip to main content


Hi everyone. My name is Kirill Valyavin and I develop software in #Russia. I am a huge fan of #haskell and correct-by-construction way of programming in general. I am also professionally curious about mobile development. My OS of choice is #GNU/Linux for personal and professional use.
#Russia #haskell #GNU/Linux newhere

Hi and welcome aboard 😀

This website uses cookies to recognize revisiting and logged in users. You accept the usage of these cookies by continue browsing this website.