downloading groupoids...
Sep. 26th, 2013 10:46 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
thedeemonДо чего дошел прогресс:
Эдак скоро захочешь безобидную утилиту поставить, а онаяндекс.бар ∞-группоиды качает!
Хозяйке на заметку: Идрис с каждой новой версией имеет все больше зависимостей, в версии 0.9.9 уже дошли доручки LLVM (теперь там и такой есть бэкенд). Если не хочется возиться с его установкой, то волшебная фраза такая: "cabal install idris -f -LLVM".
Эдак скоро захочешь безобидную утилиту поставить, а она
Хозяйке на заметку: Идрис с каждой новой версией имеет все больше зависимостей, в версии 0.9.9 уже дошли до
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2013-09-26 11:11 am (UTC)Haskell Platform for Mac OS X 2013.2.0.0