​​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：
​​
​​https://github.com/andy0130tw/agda-prebuilt/actions/runs/207646571
​​
​​到這個網頁下載 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就會裝

​​下載此檔案（或新開一份檔案並貼上）將檔案名稱命名為 FLOLAC-STLC.lagda.md​

​​按下快捷鍵 Ctrl+C​ Ctrl+L​ 若出現以下畫面代表安裝完成
​​
 
User-uploaded image: flolac.png
​​
​​
​​
​​
​​