Проект закрыт за ненадобностью. Данный труд, тем не менее, защищен лицензией и законами РФ о защите авторских прав Копирование, использование данного кода без ссылки на правообладателя (необходимо делать fork) повлечет обращение в суд
Представляет собой взгляд программиста-практика на теорию LP-структур за авторством проф.Махортова С.Д. При разработке автор данного программного обеспечения опирался на нетипизированное лямбда-исчисление, гомотопическую теорию типов Вспомогательным аппаратом была использована теория категорий