急切 (4)

總算週末又快到了，心想可以輕鬆些，下午思索著 agda 與 haskell 之間的關係，
思索著 proofing 和 programming 之間的關係，總算也是覺得好好的。
（雖然我總覺得還沒抓到 agda 的一些關鍵點，懵懵懂懂迷迷茫茫的。）
回去了之後又改了一點程式，告一段落之後就看點別的，不過...

不舒服的感覺卻漸盛，那種不知道接下來可以幹嘛的心情。
所以大概又要陷入那種白白浪費時間的情境裡了吧。
平時不眠不休地寫著程式，週末就完全進入廢人模式，
目前的平衡狀態大概是這樣吧。

或許由於最近太過於脆弱，所以極其容易受影響，整個節奏就完全亂掉，
最後就會陷入這種模式。不知道什麼時候可以改善一點。
這好像也不是誰的錯吧？想怪人也不知道要怪誰...
進入奇怪的自言自語模式了，看來該停止了，不然會有更多混亂的感覺浮現