Loading...
Mac 安裝指南
安裝 Haskell
請照著
這些步驟
走
完成後應該會在你的電腦裡安裝
ghc
,
ghci
與
cabal
這些程式
要檢查是否有裝好,可以在終端機輸入
ghc --version
看看有沒有顯示版本資訊
安裝 Agda
在終端機中輸入
cabal
install
Agda
如果成功了,在終端機輸入
agda --version
應該會顯示版本資訊
$ agda
--version
Agda
version
2.6
.1
安裝 Agda standard library
下載
並解壓縮到某個資料夾(假設路徑為
$SOMEWHERE
)
解壓縮出來的資料夾中應該有個檔案名稱為
standard-library.agda-lib
,他的路徑應為
$SOMEWHERE/agda-stdlib-1.3/standard-library.agda-lib
在家目錄底下創建名為 .
agda
的資料夾,他的路徑應為
~
/
.agda
在剛創建的
agda
資料夾底下新增一個名為
libraries
的空白檔案,他的路徑應為
~
/
.agda
/
libraries
在剛創建的
libraries
空白檔案裡加入前述
$SOMEWHERE/agda-stdlib-1.3/standard-library.agda-lib
路徑
在同個資料夾創建另一個檔案
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
下載
此檔案(或新開一份檔案並貼上)將檔案名稱命名為
FLOLAC-STLC.lagda.md
按下快捷鍵
Ctrl+C
Ctrl+L
若出現以下畫面代表安裝完成
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^
安裝 Haskell
安裝 Agda
cabal install Agda
$ agda --version
Agda version 2.6.1
安裝 Agda standard library
安裝 VS Code & 擴充功能 agda-mode
下載此檔案(或新開一份檔案並貼上)將檔案名稱命名為 FLOLAC-STLC.lagda.md