agda-mode

1熱度

1回答

我正在使用在Agda代碼中使用中點字符的paper。我希望能夠輸入它，而不需要複製/粘貼。我如何使用agda模式進入？我已經試過典型的資源，如 http://agda.readthedocs.io/en/latest/tools/emacs-mode.html http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput

1熱度

1回答

Agda：空列表的回頭和尾部

我正在學習agda並在列表上練習以獲得更好的理解。現在我正在嘗試爲列表編寫函數。我很困惑如何返回空列表的首尾。這裏是我的代碼： data list (A : Set) : Set where [] : list A _∷_ : A → list A → list A Null : {A : Set} → (list A) → Bool Null [] = true Null (x ∷

0熱度

1回答

如何在OSX El Capitan上安裝Agda模式？

我想在OSX上安裝agda模式。我遵循官方指南（也嘗試了其他幾種），但似乎無法使其工作。當裝載的Emacs/Aquamacs我得到以下錯誤： Warning (initialization): An error occurred while loading `/Users/is7s/.emacs': File error: Searching for program, no such fil