flashingwind https://blog.hatena.ne.jp/flashingwind/ プログラマーになりたい。 https://flash.hatenablog.com/ Curry さっき、でぽん(id:mac_de_pon)が翻訳してくれたところを読んでたら Description Ident. Fix. Prec. Type Boolean equality == 4 a -> a -> Bool Constrained equality =:= 4 a -> a -> Success Boolean conjunction && R 3 Bool -> Bool -> Bool Boolean disjunction ｜｜ R 2 Bool -> Bool -> Bool Parallel conjunction & R 0 Success -> Success -… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fflash.hatenablog.com%2Fentry%2F20091018%2F1255824440" title="「parallel conjunction」ってなんじゃ。「constrained」ってなんじゃ。 - プログラマーになりたい。" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-10-18 09:07:20 rich https://flash.hatenablog.com/entry/20091018/1255824440 1.0 100%