再卡

Typed-channel 版本失敗了，因為另一個老問題冒出頭來：subst 消不掉。即使退而求其次做 untyped-channel 版，好像還是會卡到另一個問題：寫出來的 process 過不了 productivity check。不行吶…

今日飲食：中午沙茶豬肉麵 @ 男一麵食部（$50）；晚上鍋燒烏龍麵 @ 老爺上菜（$80）+ 巧克力葡萄奶酥 @ 男一麵包店（$18）+ 奶油培根義大利麵 @ 7-11（$50）。合計 $198。

--
就這麼留下殘壘看著 scm 老師去日本了…？T.T