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

Исправление shkolnick-kun, 28.07.19 19:44 (текущая версия) :

Что там у поней в этом плане?

Вроде как создатель языка говорил, что у них есть пруфы корректности (смотреть таблицу 5, там про Rust есть интересное)…

Исправление shkolnick-kun, 28.07.19 19:43:

Что там у поней в этом плане?

Вроде как создатель языка говорил, что у них есть пруфы (смотреть таблицу 5, там про Rust есть интересное) корректности…

Исправление shkolnick-kun, 28.07.19 19:41:

Что там у поней в этом плане?

Вроде как создатель языка говорил, что у них есть пруфы корректности…

Исходная версия shkolnick-kun, 28.07.19 19:39:

Что там у поней в этом плане?

Вроде как создатель языка говорил, что у них есть пруфы корректности…