Notebook and slides for the talk "What logic can teach us" at Scalacon'22 - View it on GitHub