倒數

下午把 index 也掃描好了，剛才譯到第 81 頁。打算把第三章譯完（到 p.89），然後趕快回去看 bisimulation ─ 怠工好久 XD。

--
Agda 的 coinductive datatype declaration 的確是怪怪的 XD。