2009-10-18から1日間の記事一覧
さっき、でぽん(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 di…
さっき、でぽん(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 di…