LINUX.ORG.RU

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

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

Не, по такому пути пойдешь, получится Coq/Agda, а они 1) уже есть 2) никому на этой планетке нафиг не всрались.

Вектор unsafe ))

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

Не, по такому пути пойдешь, получится Coq/Agda, а они 1) уже есть 2) никому на планетке нафиг не всрались.

Вектор unsafe ))