夢

夢見 scm 老師寫信來，裡面寫了一個 solution 完美地把 predicativity 造成的問題解掉了。（可是 solution 是模糊一片啊啊啊！）信末最後一句是類似 "Don't give up too soon! :)" 這種句子。剛剛我試了一下 "specialised versions" 解法，也是舉步維艱。感覺上現在去把 well-founded recursion 弄懂還比較容易一點 XD。

--
不過這個週末要把 Huffman encoder/decoder 寫出來才行，所以得暫停 XD。