鬆動的箭頭

我覺得我就快要抵達那個關鍵點，融合 category-theoretical、fixpoint-semantical、和 operational 三個面向而看透 induction 和 coinduction 了！

--
It must be exciting!