热门搜索： json Test query CSS java java java java

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

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

资源大小：566.94 kB
上传时间：2021-06-30
下载次数：0次
浏览次数：1次
资源积分：1积分
标签： 问题报告编程语言类型依赖性

资源简介

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.

您可能感兴趣的

同类别推荐

‭ 1天前成为了本站会员
allenicatch 1天前成为了本站会员
汐 1天前成为了本站会员
欧豆豆 2天前成为了本站会员
Miguel 2天前成为了本站会员
雾里看花 2天前成为了本站会员
GF。 3天前成为了本站会员
A·N 3天前成为了本站会员
风 3天前成为了本站会员
(=^_^=) 3天前成为了本站会员

‭ 1天前下载了：

BCAM 1394 Driver，内有驱动源程序和好几份用户界面开发源代码，内容非常详细。...
GF。 3天前下载了：

ADRC
GF。 3天前下载了：

基于ARM的大滞后控制系统研究
GF。 3天前下载了：

遗传算法优化自抗扰控制器参数
GF。 3天前下载了：

自抗扰控制器在温控系统中的实用化研究及应用.rar
GF。 3天前下载了：

自适应控制Simulink仿真，已调试好
海带 1周前下载了：

阵列信号处理ppt（西北工业大学）
百度-宣传-客服 2周前下载了：

C# 海康人脸识别主机demo，64位可运行（win10）。增加了一些测试功能。
雪竹 2周前下载了：

TI ADS1298模块代码
雪竹 2周前下载了：

stm32+ads1298

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

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

资 源 简 介

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

资源简介

相关资源

您可能感兴趣的

同类别推荐