caasih_: 沒再寫agda怎麼在看這個? XD