断断续续学了小一个月，终于学完了 plfa 的第一部分，Agda 好玩