LINUX.ORG.RU

История изменений

Исправление vertexua, (текущая версия) :

Ну я знаю что стереотип, но на поверхности у ФП этот злополучный пример, который не впечатляет. Не умеют люди продавать. Тоже самое и с theorem prover langs

Исходная версия vertexua, :

Ну я знаю что стереотип, но на поверхности у ФП этот злополучный пример, который не впечатляет. Не умеют люди продавать. Тоже самое и с theorem proofer langs