User:Bor0

Hi. My name is Boro Sitnikovski. I have a Master’s degree in Informatics and work professionally as a Software Engineer.

I created the Budge programming language. I also published several books:

• Introducing Software Verification with Dafny Language
• Gentle Introduction to Dependent Types with Idris
• Introducing Blockchain with Lisp

You can check out my blog at https://refl.blog. You can also find me on the following social networks:

• https://github.com/bor0/
• https://twitter.com/BSitnikovski