今まで推論規則を書くときは proof.sty を使っていた． \[ \infer[\mbox{\sc T-App}]{ \Gamma \vdash t_1\ t_2 : \tau_2 }{ \Gamma \vdash t_1 : \tau_1 \rightarrow \tau_2 & \Gamma \vdash t_2 : \tau_1 } \] と書くと のようにレイアウトされる． しかし…

例えば 'autocomplete' を有効にして :ec commandl と入力すると，:ec co の段階で多くの補完候補が表示され，そのときの高さを保ったまま :ec commandl の補完候補が表示された状態になる． これは特にページのコンテンツを見ながらコマンドラインを入力し…