Обсуждение участника:Arachnelis/Сусек: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 45:
:::* Здесь согласен, это надо переписать. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 16:39, 8 августа 2017 (UTC)
 
:::* <nowiki>http://bookre.org/reader?file=532778&pg=16</nowiki> - Перевод Харпера, существующий уже не первое десятилетие, использован перевод "пробегает". [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 17:06, 8 августа 2017 (UTC)
 
== ЯП: "ML доминирует в формальной верификации" ==