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