Я создал файл library.txt в C: \ Users \ name \ AppData \ Roaming \ agda и вставил путь к стандартной библиотеке, как она была установлена на моем компьютере: "C: \ Users \ name \Рабочий стол \ agda-stdlib-master \ standard-library.agda-lib "и там написано, что я не могу его найти.Любые решения?