繼續

走回宿舍途中給自己出一個小題目：寫一個 coreflexive 判斷一個 set 裡面的元素是否兩兩都被 equivalence relation R 關連在一起。（可以想像我的最終目標是「建立 equivalence classes」的 specification。）最後還滿自然地導出 ((∈\R)/∋) ∩ id，頓時對 division 的好感增加許多 XD。現在 AoP 正在興頭上，今晚還是來算一算吧 XD。

--
反正兩個程式作業的期限都在下下週 XD。