做312 + 溫書

今日1pm起身，見到某人個msg，原本諗住講一兩句就再訓番，點知一傾就到2:30pm…
起身買個飯食…再睇amazing race…
去左312 office hrs買番d野…番房就用latex打，雖然係copy and paste d marco，但係都唔係人睇既…

$$
\infer
{\ofg{}{'}{\ap{\Ap{e_1'}{\tau_2'}}{\Lam{t}{\lam{x}{\tau_1'}{e_2'}}}}{\tau_2'}}
{
    \infer
    {\ofg{}{'}{\Ap{e_1'}{\tau_2'}}{\arrow{\tau_9}{\tau_2'}}}
    {
        \infer[By IH]
        {\ofg{}{'}{e_1'}{\All{t}{\arrow{\tau_9}{t}}}}
        {}
    }
    &
    \infer
    {\ofg{}{'}{\Lam{t}{\lam{x}{\tau_1'}{e_2'}}}{\All{t}{\arrow{\tau_1'}{\tau_2'}}}}
    {
        \infer[By IH]
        {\ofg{}{'}{\lam{x}{\tau_1'}{e_2'}}{\arrow{\tau_1'}{\tau_2'}}}
        {}
    }
}
$$\

已經做足晒indent都唔係人睇，都唔明點解d人咁鐘意LaTeX…
打一打都好鬼waste時間…

之後溫聽日考既Physics of Musical Sound，慘就慘在依科好易咁，都唔知有咩要溫，抄得果10頁都冇既notes…真係唔知點好，睇左一次notes，review sheet，past exam…當溫好…