Implement these bijections in Agda! 所以我开始定义 Bool 以及它的一些功能: data Bool : Set where true : Bool false : Bool not : Bool → Bool not true = false ...
確定！ 回上一頁
