Li-Fan Chen
says to
YSITD
幹可是我不知道他能不能跑 Agda 欸幹