首页
标签
uniqueness-typing
mkPair 的线性和唯一类型
Idris 的“BorrowedType”背后的意图是什么？
如何从标准输入读取？