Strongly-typed functional programming in Haskell since 2018.
I am also familiar with frontend development in TypeScript and proof assistants such as Coq.
My recurrent interests include programming language theory and cryptocurrencies.
Hit me up at kvalyavin@yandex.ru
Buy my KVAL 
tokens