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