趕工

突然用了幾個小時寫 Agda code，現在週末待辦事項消不完啦 XD。我想就把「寫資料庫作業」、「讀 AI」、「研究 VHDL」這三項先完成好了，做完有時間再看圖論和宋明理學（我想是不太可能 XD）。

--
而且最近都很偷懶，幾乎只用「雜記」標籤，大約是時候多弄一點標籤出來了 XD。