[英]How do I install the Standard-Library for Agda on Windows?
我在 C:\\Users\\name\\AppData\\Roaming\\agda 中創建了一個文件 libraries.txt，並插入了標准庫的路徑，因為它安裝在我的電腦上：“C:\\Users\\name\\Desktop\\agda -stdlib-master\\standard-library.agda-lib”，它說我找不到它。 任何解決方案？
文件名應稱為庫（不帶擴展名）而不是libraries.txt。 您可能需要從命令提示符執行此操作（移動 libries.txt 庫）
如何在Netbeans / Windows下安裝C標准庫頭文件？
[英]How to install C standard library headers under Netbeans / Windows?
如何為Visual Studio 2005安裝pthread_win32（Windows pthread / posix線程庫）？
[英]How do I install pthread_win32 (Windows pthread / posix thread library) for Visual Studio 2005?
如何在沒有互聯網連接的Windows XP計算機上安裝Python psutil庫？
[英]How do I install the Python psutil library on a Windows XP machine without an internet connection?
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
