我安装了带有的Idris2 v0.4.0
$ nix-env -i idris2
而且效果很好。我可以启动REPL并键入检查我的程序，但我在安装本地Idris库时遇到了困难。我得到
$ idris2 --install foo.ipkg
...
Uncaught error: INTERNAL ERROR: Can't make directory /nix/store/...-idris2-0.4.0/idris2-0.4.0/foo-0.0.1
Permission Denied
我想这是因为Idris没有安装到/nix的权限。
我尝试过的
- 将
IDRIS2_PREFIX设置为本地，但Idris找不到前奏曲(正如预期的那样，因为我已经告诉它在其他地方查找( - 使用
sudo，但这不仅不起作用(它无法识别idris2(，而且对于库安装来说，这似乎是一种巨大的过度使用
截至撰写本文时，Nixpkgs中不正确支持Idris 2。一些讨论和实验工作正在进行中
如果我使用自制软件安装Idris而不是Nix，使用
brew install idris2
它运行良好。