![Баловство: игры с материальной культурой](https://d2j6dbq0eux0bg.cloudfront.net/images/720170/863470956.jpg)
Homotopy Type Theory (HoTT) is the most advanced programming language in the domain of intersection of several theories: algebraic topology, homological algebra, higher category theory, mathematical logic, and theoretical computer science. That is why it can be considered as a language of space, as it can encode any existent mathematics.
--
Hardcover books, made by hands :)