{"author_name":"flashingwind","title":"\u300cparallel conjunction\u300d\u3063\u3066\u306a\u3093\u3058\u3083\u3002\u300cconstrained\u300d\u3063\u3066\u306a\u3093\u3058\u3083\u3002","author_url":"https://blog.hatena.ne.jp/flashingwind/","categories":["Curry"],"image_url":null,"type":"rich","provider_url":"https://hatena.blog","published":"2009-10-18 09:07:20","blog_url":"https://flash.hatenablog.com/","provider_name":"Hatena Blog","version":"1.0","blog_title":"\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306b\u306a\u308a\u305f\u3044\u3002","url":"https://flash.hatenablog.com/entry/20091018/1255824440","width":"100%","description":"\u3055\u3063\u304d\u3001\u3067\u307d\u3093(id:mac_de_pon)\u304c\u7ffb\u8a33\u3057\u3066\u304f\u308c\u305f\u3068\u3053\u308d\u3092\u8aad\u3093\u3067\u305f\u3089 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 \uff5c\uff5c R 2 Bool -> Bool -> Bool Parallel conjunction & R 0 Success -> Success -\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fflash.hatenablog.com%2Fentry%2F20091018%2F1255824440\" title=\"\u300cparallel conjunction\u300d\u3063\u3066\u306a\u3093\u3058\u3083\u3002\u300cconstrained\u300d\u3063\u3066\u306a\u3093\u3058\u3083\u3002 - \u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306b\u306a\u308a\u305f\u3044\u3002\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190"}