История изменений
Исправление hateyoufeel, (текущая версия) :
Idris – это такой proof of concept. Его с тех пор заново переписали в Idris 2. А Agda реально используется для доказательств и верификации. Программы на ней, ясен хер, никто не пишет.
Исходная версия hateyoufeel, :
Idris – это такой proof of concept. Его с тех пор заново переписали в Idris 2. А Agda реально используется для доказательств и верификации. Прямо код на ней, ясен хер, никто не пишет.