A little journey into how one programming language gets translated into another on the example of our Solidity to LIGO…