Встречайте новую статью на нашем хабре об использовании TLA для решения задач в программировании!
Наша задача на сегодня - поймать кота.
О том, как мы будем ее решать простым и нескучным образом, читайте скорей в статье по ссылке: http://amp.gs/SRas