Li-Fan Chen says to YSITD
先學 Agda 啦
at Thu, Oct 25, 2018 1:20 AM