プログラマーになりたい。

プログラミングや写真や本や読書会のことや、日常のこと。

2009-10-18から1日間の記事一覧

「parallel conjunction」ってなんじゃ。「constrained」ってなんじゃ。

さっき、でぽん(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…

Creative Commons License ©2007-2021 IIDA Munenori.