源程序包：agda（2.6.1-1）
阿格达 依赖类型函数式编程语言 阿格达宾 Agda的命令行界面 elpa-agda2-模式 依赖型函数式编程语言&emacs模式 libghc-agda-dev公司 依赖类型函数式程序设计语言 libghc-agda-doc 依赖型函数编程语言； 文档
与agda相关的其他包
|
|
-
阿德普： 亚历克斯 Haskell的词法分析器生成器
-
阿德普： 商业发展银行 Debian包的通用构建系统
-
阿德普： 中央处理器 (>= 1.20.2) Haskell的简化类cpp预处理器
-
阿德普： 脱骨帮手 (>= 10) debian/rules的帮助程序
-
阿德普： dh-elpa公司 (>= 1.16) 用于打包emacs lisp扩展的Debian帮助工具
-
阿德普： 温室气体 (>= 8.4.3) 格拉斯哥-哈斯克尔编译系统
-
阿德普： 幸福的 Haskell的分析器生成器
-
阿德普： haskell开发脚本 (>= 0.13) 帮助Debian开发人员构建Haskell包的工具
-
阿德普： ghc-教授 格拉斯哥-哈斯克尔编译系统的分析库
-
阿德普： libghc-aeson-dv (>= 1.1.2.0) 快速JSON解析和编码库
-
阿德普： libghc-aeson-dv (<< 1.5) 快速JSON解析和编码库
-
阿德普： libghc-aeson教授 快速JSON解析编码库； 分析库
-
阿德普： libghc-async-dev (>= 2.2) 异步运行IO操作并等待其结果
-
阿德普： libghc-async-dev (<< 2.3) 异步运行IO操作并等待其结果
-
阿德普： libghc-blaze-html-dev公司 (>= 0.8) Haskell的HTML组合库
-
阿德普： libghc-blaze-html-dev公司 (<< 0.10) Haskell的HTML组合库
-
阿德普： libghc-box开发 (>= 0.1.3) 2D文本漂亮打印库
-
阿德普： libghc-box开发 (<< 0.2) 2D文本漂亮打印库
-
阿德普： libghc-data-hash-dev (<< 0.3) 用于构建快速散列函数的组合器。
-
阿德普： libghc-data-hash-dev (>= 0.2.0.0) 用于构建快速散列函数的组合器。
-
阿德普： libghc-edit-instance-dev (<< 0.3) Haskell模糊匹配
-
阿德普： libghc等效-dev (>= 0.3.2) 保持等价关系
-
阿德普： libghc等效-dev (<< 0.4) 保持等价关系
-
阿德普： libghc等效教授 保持等价关系； 分析库
-
阿德普： 利比亚例外-dev (>= 0.8) 可扩展的optionally-pure异常
-
阿德普： 利比亚例外-dev (<< 0.11) 可扩展的optionally-pure异常
-
阿德普： libghc-例外-保护 可扩展的可选纯异常； 分析库
-
阿德普： libghc-geniplate-mirror-dev (>= 0.6.0.6) 使用Template Haskell生成类Uniplate函数。
-
阿德普： libghc-geniplate-mirror-dev (<< 0.8) 使用Template Haskell生成类Uniplate函数。
-
阿德普： libghc-gitrev-dev公司 (>= 1.3.1) 将git修订信息编译到Haskell项目中
-
阿德普： libghc-gitrev-dev公司 (<< 2.0) 将git修订信息编译到Haskell项目中
-
阿德普： libghc-gitrev-prof 将git修订信息编译到Haskell项目中； 分析库
-
阿德普： libghc-hashable-dev (>= 1.2.1.0) 可转换为哈希值的类型的类
-
阿德普： libghc-hashable-dev (<< 1.4) 可转换为哈希值的类型的类
-
阿德普： libghc-hashable-prof 可转换为哈希值的类型的类； 分析库
-
阿德普： libghc-hashtables-dev (>= 1.2.0.2) 可变哈希表
-
阿德普： libghc哈希表开发 (<< 1.3) 可变哈希表
-
阿德普： libghc-ieee754-dev (>= 0.7.8) 处理IEEE浮点数的实用程序
-
阿德普： libghc-ieee754-dev (<< 0.9) 处理IEEE浮点数的实用程序
-
阿德普： libghc-杂音-hash-dev (>= 0.1) Haskell的MurmurHash2实现。
-
阿德普： libghc-杂音-hash-dev (<< 0.2) Haskell的MurmurHash2实现。
-
阿德普： libghc-杂音 Haskell.的MurmurHash2实现。； 分析库
-
阿德普： libghc-regex-tdfa-dev (>= 1.3.1.0) 标记的DFA正则表达式引擎的Haskell库
-
阿德普： libghc-regex-tdfa-dev (<< 1.4) 标记的DFA正则表达式引擎的Haskell库
-
阿德普： libghc-regex-tdfa-prof 标记的DFA正则表达式引擎的Haskell库； 分析库
-
阿德普： libghc-split-dev (>= 0.2.0.0) 用于拆分列表的Haskell库
-
阿德普： libghc-split-dev (<< 0.2.4) 用于拆分列表的Haskell库
-
阿德普： libghc-split-prof 用于拆分列表的Haskell库； 分析库
-
阿德普： libghc严格开发 (>= 0.3.2) 标准Haskell数据类型的严格变体
-
阿德普： 利比亚限制性文件 (<< 0.4) 标准Haskell数据类型的严格变体
-
阿德普： libghc-无序控制器-dev (>= 0.2.5.0) 高效的基于哈希的容器类型
-
阿德普： libghc-无序控制器-dev (<< 0.3) 高效的基于哈希的容器类型
-
阿德普： libghc-uri-encode-dev (>= 1.5.0.4) 支持Unicode的uri-encoding。
-
阿德普： libghc-uri-encode-dev (<< 1.6) 支持Unicode的uri-encoding。
-
阿德普： libghc-uri-encode-prof 支持Unicode的uri-encoding。； 分析库
-
阿德普： libghc-zlib开发 (>= 0.6) gzip和zlib格式的压缩和解压缩
-
阿德普： libghc-zlib-dev (<< 0.7) gzip和zlib格式的压缩和解压缩
-
个人识别码： ghc-doc公司 格拉斯哥-哈斯克尔编译系统文件
-
理念： libghc-aeson-oc 快速JSON解析编码库； 文档
-
个人识别码： libghc-async-doc 异步运行IO操作并等待其结果； 文档
-
个人识别码： libghc-blaze-html-doc公司 Haskell的HTML组合库； 文档
-
个人识别码： libghc-boxes-doc公司 二维文本精美打印库； 文档
-
个人识别码： libghc-data-hash-doc 用于构建快速散列函数的组合器。； 文档
-
理念： libghc-edit-instance-doc Haskell模糊匹配； 文档
-
个人识别码： libghc-等价-doc 保持等价关系； 文档
-
个人识别码： libghc例外-doc 可扩展的optionally-pure异常； 文档
-
个人识别码： libghc-geniplate-mirror-doc网站 使用Template Haskell生成类Uniplate函数。； 文档
-
个人识别码： libghc gitrev文档 将git修订信息编译到Haskell项目中； 文档
-
个人识别码： libghc-hashable-doc 可转换为哈希值的类型的类； 文档
-
个人识别码： libghc-hashtables-doc 可变哈希表——文档； 文档
-
个人识别码： libghc-ieee754-doc文件 用于处理IEEE浮点数的实用程序； 文档
-
个人识别码： libghc-杂音-hash-doc Haskell.的MurmurHash2实现。； 文档
-
个人识别码： libghc-regex-tdfa-doc 标记的DFA正则表达式引擎的Haskell库； 文档
-
个人识别码： libghc-split-doc 用于拆分列表的Haskell库； 文档
-
个人识别码： libghc-strict-doc 标准Haskell数据类型的严格变体； 文档
-
个人识别码： libghc-无序控制器-doc 高效的基于哈希的容器类型； 文档
-
个人识别码： libghc-uri-encode-doc 支持Unicode的uri-encoding。； 文档
-
个人识别码： libghc-zlib-doc gzip和zlib格式的压缩和解压缩； 文档
下载agda
Debian包源存储库( VCS公司 : Git公司 ) https://salsa.debian.org/haskell-team/DHG_packages.git 【p/agda】 Debian包源代码库（可浏览） https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda