История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Круто! Но скорее зависимые типы в Haskell запилят чем Idris станет популярным. Хоть и жаль.
Исходная версия
hateyoufeel,
:
Круто! Но скорее зависимые типы в Haskell наконец запилят чем Idris станет популярным. Хоть и жаль.