我已经在c： users unders name appdata roaming agda中创建了一个文件库。我已经在PC上安装了标准库的路径：" c： users name desktop agda-stdlib-master standard-library.agda-lib"，它说我找不到它。有什么解决方案？
该文件名应称为库（无扩展），而不是libraries.txt。您可能需要从命令提示符（移动库.txt库）
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium