消

正在努力消化這個週末的應辦事項，不過目前效率不太好。Agda 環境搞不定，Emacs mode 裝進去了但是不 work。想看看 VHDL 卻找不到寫得夠好的材料，先放著。現在正在對付 AI。

--
DSD 程式組組員好像都消失了 XD。

---

洗澡回來試寫「除以二」，發現 Agda2 的 Emacs mode 莫名其妙地可以用了 XD。

--
所以總算是完成一項了 XD。

---

不知不覺就寫起 Bruan tree XD。