這是什麼Agda錯誤？

Question

我嘗試阿格達的第一時間，我已經定義了Bool數據類型和它像所有的教程基本功能說：

data Bool : Set where 
true : Bool 
false : Bool 
not : Bool -> Bool 
not true = false 
not false = true 
etc... 

當我嘗試加載這一點，得到不高興，因爲「多比左手邊的一個匹配類型簽名不是真實的「，並以紅色突出顯示」不正確「。我究竟做錯了什麼？

Answer 1

您需要縮進數據構造函數Bool。