上午-下午
都在写SETLC，现在写完了parse与stringify，之后要做REPL以及typing
晚上
打了卡，写完了OS-hw5，写了Arch-lab3的代码，仿真明天。
SETLC的REPL(big-step-exec)还有application(substitution)没写，typing也是之后再说（（）