取得 Agda#

要使用這個教學，你不需要在電腦上安裝 Agda。取而代之的是，這個網站內嵌了線上版的 Agda。

如果要做更大型、與本教學習題無關的實驗，你可以使用 Agdapad 或 Agda Web。同樣不需要安裝任何東西。

如果要在自己的電腦上安裝 Agda，請參考 Agda 官方網站。