Ошибка разрешения Nix при установке локальной библиотеки Idris

#idris #nix Вопрос: Я установил Idris2 v0.4.0 с $ nix-env -i idris2 и это прекрасно работает. Я могу запустить REPL и ввести "проверьте мою программу", но у меня возникли трудности…