ptrcmd says to YSITD
有用 agda 寫過xd
at Sun, Nov 10, 2019 7:48 PM