即将离开知乎
您即将离开知乎,请注意您的帐号和财产安全。
http://agda.readthedocs.io/en/v2.5.3/language/built-ins.html#equality
继续访问