文章总数
1
代码之家
› 用户
›
Rastislav Kassak
全部
为什么Idris中的Nat数据类型以0开头而不是1?
Rastislav Kassak
·
技术社区
·
idris
dependent-type
· 8 年前
1
