Linux 課前安裝指南

安裝 Haskell

 

可以照著這些步驟走,或是自己從 source 編 😁

安裝成功以後,在 terminal 中應該能看到 ghc ghci cabal 這些程式

$ ghc -V
The Glorius Glasgow Haskell Compilation System, version 8.8.3

安裝 Agda

 
選項一:
 
cabal install Agda

安裝成功以後,在 terminal 中應該能看到 agda 

$ agda -V
Agda version 2.5.1

選項二:上面那個方法編 library 需要一點時間 (大概 30 分鐘),如果不想等的話可以試試看用這個 prebuilt 執行檔,版本為 2.6.1:


到這個網頁下載 agda-prebuilt,會是一個壓縮檔,解開會有主程式 agda 和必要的資料檔 /lib
詳細過程參考 README:https://github.com/andy0130tw/agda-prebuilt
請記得解壓縮的位置,或確保 PATH 環境變數可以找得到。

安裝 Agda standard library 

 
注意 Agda 2.6.1 要配 1.3,2.6.0.1 要配 1.2

VS Code & 擴充功能 agda-mode

會用Linux就會裝
按下快捷鍵 Ctrl+C Ctrl+L 若出現以下畫面代表安裝完成