[英]Problems compiling with Agda
我個人建議您通過haskell的Cabal安裝agda
(您可以通過安裝haskell-platform
來安裝它,而安裝haskell會安裝ghc)。 由debian維護的agda軟件包當前已損壞,並且標准庫有問題。
cabal update
cabal install agda
您可以通過apt install
同時安裝標准庫和agda-mode
。 完成所有這些操作后(請記住,cabal將編譯agda,因此將需要一些時間),然后將標准庫添加到agda的本地設置中。 打開emacs並加載文件以進行類型檢查,或者如果它具有可執行代碼,則將其編譯。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.