首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 阿格达是依赖性类型的编程语言。请报告问题https://github.com/agda/agda/issues!

阿格达是依赖性类型的编程语言。请报告问题https://github.com/agda/agda/issues!

资 源 简 介

Dependent types allows more properties of programs to be expressed in the types. Not only does this give stronger guarantees that the program is correct, stronger types also helps in the process of writing the program.

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.181940s