我昨天看了 yllan 一個多小時的 untyped lambda calculus 實況, 而且沒有轉台唷!