2007-07-31から1日間の記事一覧

ちょっと前(今日の昼くらい)までは、 \infer { \Lambda; \Gamma \vdash x \Downarrow v } { \Gamma(x) = v } \\ と書いてたんだけど、なんだか \infer { \Lambda; \Gamma \vdash x \Downarrow v } { \Gamma(x) = v } \\ と書きたくなった。(中括弧の位置が違…