Li-Fan Chen says to YSITD
這邊x的型別是 Nat = 5
at Wed, Nov 15, 2017 11:03 PM