Li-Fan Chen says to YSITD

例如 add = x => y => x + y

at Wed, Aug 18, 2021 11:36 PM