不錯

左手現在感覺滿不錯，明天（吧）要到醫院檢查，看能不能拿掉石膏。

FLOLAC 網站平寂了兩天（難道「G 平寂」了？XD），我本來以為至少會放上呂育道老師特別演講的投影片。看（星期五放上的）照片集，學生走了以後老師們聚在一塊灌台灣啤酒，我說大概是發現學生考不好，Yen3 說應該是慶祝終於擺脫這群學生 XD。Max 的 NJEdit 倒悄悄改版了，現在似乎不支援 Firefox，Safari OK。

--
明天來證證看 FV function over lambda-terms（as defined in Sørensen98）的唯一性和存在性。