原地踏步

我覺得進步好慢喔。Algebra of programming 裡面的 relational derivation 還學不會，functional derivation 不僅不太會用而且還只停在 sets & total functions，然後又沒特別去培養演算法直覺。感覺上現在概念和形式兩邊都要落空了。

--
讓我發發牢騷吧 XD。