余完備性をKleisli圏に持ち上げたい open programs open programs 再び 2005年の夏、えー、こんな昔からTermモナドがプログラムだって知っていたの、僕？ Cospan構成にも言及しているし。以上をふまえて書いた記事： ソースコードの形式化 これ↑で、「コンポ…

protecting 演算（記号）も法則（等式）も追加できない。 extending 演算は追加できるが法則は追加できない。 using 自由