Mac 安裝指南
 

安裝 Haskell

 
  1. 請照著這些步驟
  1. 完成後應該會在你的電腦裡安裝 ghc , ghcicabal 這些程式
  • 要檢查是否有裝好,可以在終端機輸入 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

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