agda

particular 是什么意思？ 我要的意思是某个，但这字是这个意思？ 我居然完全想不起来，却又写出这个字？ 查了字典觉得应该没有错才对。 忽然想到其实类似的状况也发生过好几次。 就在我想要转换成中文，确认我的意思后，就卡住了 =口= 总觉得大概就是只读不写，也不翻译的问题吧..? 整篇文章看过去，大概知道是什么意思，虽然有不少字不知道中文意思