​​Mac 安裝指南
​​

​​安裝 Haskell

​​
  1. ​​請照著這些步驟走
  1. ​​完成後應該會在你的電腦裡安裝 ghc​ , ghci​ 與 cabal​ 這些程式
  • ​​要檢查是否有裝好，可以在終端機輸入 ghc --version​ 看看有沒有顯示版本資訊

​​安裝 Agda

​​

​​

  1. ​​在終端機中輸入
​​
​​cabal install Agda
​​
  1. ​​如果成功了，在終端機輸入 agda --version​ 應該會顯示版本資訊
  • ​​
​​$ agda --version
​​Agda version 2.6.1
​​

​​安裝 Agda standard library 

​​

​​

  1. ​​下載並解壓縮到某個資料夾（假設路徑為 $SOMEWHERE​）
  1. ​​解壓縮出來的資料夾中應該有個檔案名稱為 standard-library.agda-lib​ ，他的路徑應為$SOMEWHERE/agda-stdlib-1.3/standard-library.agda-lib​
  1. ​​在家目錄底下創建名為 .agda​ 的資料夾，他的路徑應為 ~/.agda​
  1. ​​在剛創建的 agda​ 資料夾底下新增一個名為 libraries​ 的空白檔案，他的路徑應為~/.agda/libraries​
  1. ​​在剛創建的 libraries​ 空白檔案裡加入前述 $SOMEWHERE/agda-stdlib-1.3/standard-library.agda-lib​ 路徑
  1. ​​在同個資料夾創建另一個檔案 defaults​ 內容寫入 standard-library​
​​

​​安裝 VS Code & 擴充功能 agda-mode

​​
 
Visual Studio Code - Code Editing. Redefined
Visual Studio Code is a code editor redefined and optimized for building and debugging modern web and cloud applications.  Visual Studio Code is free and available on your favorite platform - Linux, macOS, and Windows.
code.visualstudio.com
Visual Studio Code - Code Editing. Redefined • code.visualstudio.com
​​

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

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