2007/10/27

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

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


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

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


不知不覺就寫起 Bruan tree XD。

Labels:

<< 回到主頁