文章总数
3
代码之家
› 用户
›
Kwarrtz
全部
在指数定律的证明中,Idris不会展开mult
Kwarrtz
·
技术社区
·
theorem-proving
idris
· 7 年前
指定'main'中值的静态生存期,以便回调可以借用[duplicate]
Kwarrtz
·
技术社区
·
rust
· 7 年前
为张量类型定义函数实例(Idris)
Kwarrtz
·
技术社区
·
idris
· 9 年前
1
