Hello! This is Vasilii Kolobkov's home page. I do software:

If it's about lambda (whether typed or not), build systems or digital gardens, i'd be very much interested in talking to you. Get in touch via email (PGP key 0xFF3C7272972E83A5), polezaivsani on IRC networks or Mastodon.