ところで§17.5.4.1に書かれてる「a<b a>b a==bのいずれか1つがtrueにならなければならない」「a<b b<cならa<cでなければならない」「a>bとb<aは一致していなければならない」(以下略) みたいなのって、conceptで書けるヤツじゃないと思うんだけど、どう実装されるんだろう
0 replies
1 retweet
9 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.