История изменений
Исправление
vertexua,
(текущая версия)
:
Не, по такому пути пойдешь, получится Coq/Agda, а они 1) уже есть 2) никому на этой планетке нафиг не всрались.
Вектор unsafe ))
Исходная версия
vertexua,
:
Не, по такому пути пойдешь, получится Coq/Agda, а они 1) уже есть 2) никому на планетке нафиг не всрались.
Вектор unsafe ))