Li-Fan Chen says to YSITD
改成 Agda 好了
at Thu, Sep 27, 2018 8:36 PM