learn-you-an-agda: start zh-CN translation