First of all, this is a guide for macOS users. I’m sorry: I am physically unable to create a manual for other operating systems. Disclaimer – I hope you know what homebrew is. First step We have to install coq on our machine. Best way to do it – opam....
Well, if you are reading this, you probably know what Rultor is. But for some reason, you don’t understand how to set it up. I also have a template repository in case I start a new project, it’s already a bit set up. You can fork it and use. Well,...
Let’s see… Well, at first I want to start with the most important thing for writing code, obviously the computer. Here my eye fell on Mac, or rather late 2021 MacBook Air with M1 chip. It is quiet, or to be exact, silent, close to the power I need, and...
Let’s see… I remember when I started studying OOP and came across the definition of encapsulation, it looked like this: In OOP, encapsulation refers to the bundling of data with the methods that operate on that data, or the restricting of direct access to some of an object’s components. Encapsulation...